Faire les commandes
ps $$
echo $SHELL
Pour changer de shell définitivement au prochain login, utilise la commande
chsh
Mais le meilleur shell n'est ni bash ni ksh mais zsh. Essaie le...
----
Basile STARYNKEVITCH
Membre de l'
APRIL « promouvoir et défendre le logiciel libre » - adhérez vous aussi à l'APRIL!
Projet logiciel libre:
RefPerSys