Le message original posait trois questions. Les réponses données couvrent la première question, "Quand j'ouvre une fenêtre de terminal, quel shell est ouvert par défaut?" Ils répondent également à une question qui N'A PAS été posée, à savoir "Comment puis-je savoir quel shell est en cours d'exécution dans le terminal?" Toutefois, pour autant que je sache, personne n’a répondu à la deuxième ou à la troisième question posée à l’origine, à savoir: "Comment puis-je vérifier le nombre de réservoirs installés?" et "Comment changer le shell utilisé depuis mon compte?"
- Pour répondre "Comment puis-je vérifier le nombre de coques installées?" la commande suivante listera tous les shells disponibles:
cat / etc / shells
Par exemple, sur une installation par défaut d'Ubuntu 18.10, ceci donne:
# / etc / shells: shells de connexion valides
/ bin / sh
/ bin / dash
/ bin / bash
/ bin / rbash
Cependant, par défaut, sh est un lien symbolique vers dash, tandis que rbash est lié à bash avec l'option -r ("restricted bash"). Il n'y a donc que deux shells, et non quatre comme le suggère la liste ci-dessus. La commande suivante vous montrera si l'un des coques répertoriés est en fait un lien symbolique et, le cas échéant, à quel lien:
ls -l / bin
- Maintenant, posez-vous la question "Comment puis-je changer le shell utilisé depuis mon compte?" En supposant que cela signifie "Comment changer en permanence le shell par défaut qu'un terminal utilisera", une réponse est disponible à l'adresse link .