====== 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.