Je voudrais pratiquer l'utilisation de différents shells (zsh et ksh, etc...) Quel est le meilleur moyen de le configurer pour que je puisse créer un raccourci qui lancera un terminal avec le shell désiré? Je préférerais ne pas configurer un autre compte ou devoir chsh à chaque fois si possible, mais j'aimerais voir toutes mes options. En bonus, j'aimerais voir des liens vers des ressources pour apprendre différents shells.
Réponse
Trop de publicités?Les raccourcis dépendraient du terminal que vous utilisez. Cependant, la plupart acceptent l'option -e
pour spécifier le programme à exécuter. Par conséquent, pour zsh
, vous pourriez faire :
x-terminal-emulator -e zsh
Ou, cette approche pour avoir un shell de connexion :
x-terminal-emulator -e 'zsh -l'
Vous pouvez ensuite ajouter ces alias sur votre shell par défaut ou, si vous préférez avoir un lanceur sur le tableau de bord d'Ubuntu, créez un fichier à l'intérieur de ~/.local/share/applications
avec l'extension .desktop
et ces lignes :
[Desktop Entry]
Name=Terminal-Zsh
Comment=Utiliser zsh en ligne de commande
Exec=zsh
Terminal=true
Icon=utilities-terminal
Type=Application
Rendez ce fichier exécutable et glissez-le sur le tableau de bord.
En savoir plus sur la différence entre un shell de connexion et un shell sans connexion.