User Tools

Site Tools


mintty

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

mintty [2011/10/05 15:42] (current)
ginko created
Line 1: Line 1:
 +====== mintty ======
 +mintty est à l'​origine un fork de PuTTY afin de palier aux faiblesses de la console par défaut de windows (cf. [[http://​chadaustin.me/​2009/​10/​reasons-why-mintty-is-the-best-terminal-on-windows/​|quelques bonnes raison d'​utiliser mintty]]).
 +===== Astuces =====
 +  * [[http://​code.google.com/​p/​mintty/​wiki/​Tips|Official doc tips]]
 +  * Configurer un raccourcis pour mintty :
 +    * Cible : C:​\cygwin\bin\mintty.exe C:​\cygwin\Cygwin.bat
 +    * Démarrer dans : C:​\cygwin\bin
  
 +===== Remarques =====
 +  * Les devs de mintty pronent une certaine philosophie KISS => ils ne veulent pas entendre d'​onglet (de tilling?), mais fournissent le raccourcis Alt+F2 pour switcher entre les fenêtres mintty.
mintty.txt · Last modified: 2011/10/05 15:42 by ginko