Bash
Changer de coque

Syntaxe

• echo $ 0
• ps -p $$
• echo $ SHELL
• export SHELL = / bin / bash
• exec / bin / bash
• chat / etc / shells

Trouver le shell actuel

Il y a plusieurs façons de déterminer le shell actuel

echo $0
ps -p $$
echo $SHELL

Changer la coquille

Pour changer le bash actuel, exécutez ces commandes

export SHELL=/bin/bash
exec /bin/bash

pour changer le bash qui s'ouvre au démarrage, éditez .profile et ajoutez ces lignes

Liste des coques disponibles

Pour répertorier les shells de connexion disponibles:

cat /etc/shells

Exemple:

$ cat /etc/shells
# /etc/shells: valid login shells
/bin/sh
/bin/dash
/bin/bash
/bin/rbash