Pour accélerer son lancement , allez dans les préférences , choisissez "Exécuter cette commande (spécifier le chemin complet)" et rentrer le chemin de votre shell , /bin/bash si vous utilisez bash ou /bin/tcsh si vous utilisez tcsh.

Pour souvoir quel shell vous utilisez , tapez : "echo $SHELL" dans un terminal.