Remarque: J'utilise 12.04, donc ces instructions peuvent ne pas s'appliquer aux versions ultérieures d'Ubuntu / gnome-terminal
Dans gnome-terminal
, le système utilise généralement Bash par défaut, car c'est ce que gnome-terminal
exécute.
J'ai remplacé cette "valeur par défaut" en modifiant les préférences du profil. Ouvrez gnome-terminal
(l'application "Terminal"), puis allez dans "Modifier" et "Préférences de profil".
Assurez-vous de modifier le profil par défaut et accédez à l'onglet "Titre et commande".
Sous "Commande", il existe trois cases à cocher: "Exécuter la commande en tant que shell de connexion", "Mettre à jour les enregistrements de connexion lorsque la commande est lancée" et "Exécuter une commande personnalisée au lieu de mon shell".
J'ai coché les trois cases et sous "Commande personnalisée:" je mets zsh
.
Je mets aussi "Quand la commande quitte:" à "Quitter le terminal" pour fermer la fenêtre du terminal.
Cliquez sur le bouton "Fermer", puis quittez gnome-terminal
, puis rouvrez-le. Il devrait maintenant commencer zsh
au lieu de Bash.