Système d'exploitation
Travaux pratiques
1 Découverte du shell
Le shell (ou interpréteur de commandes) est l'interface (texte) entre l'utilisateur et le système
d'exploitation. Il existe plusieurs shells différents sous Unix (Bourne-shell : sh , C-shell : csh , Korn-
shell : ksh , Bourne Again shell : bash , ...). Le shell a pour rôle de traduire les commandes saisies
par l'utilisateur pour que le système les exécute.
Lorsque vous vous connectez, le fichier /etc/passwd indique à l'ordinateur le shell que vous
utiliserez par défaut (Bash). (ou via l'annuaire LDAP)
L'ordinateur va ensuite consulter plusieurs fichiers de configuration qui dépendent de ce shell. Dans
le cas de Bash, ces fichiers sont (par ordre de consultation) :
−.bash_profile (exécuté seulement à la connexion)
−.bashrc (exécuté au lancement de chaque shell)
Ces 2 fichiers sont des fichiers situés chez vous, mais ils appellent des fichiers de configuration
standards.
Regarder et expliquez le contenu de ces différents fichiers...
expliquez la commande alias et donnez la commande permettant d'enlevez un alias
profitez-en pour rajouter à l'endroit adéquat les alias que vous désirez utiliser !
Outre la définition d'alias, ces fichiers de configuration définissent aussi des variables qui vous sont
propres. Ce sont les variables d'environnement (Elles sont reconnaissables par leur nom en
majuscule).
La commande set vous permet d'obtenir toutes les variables d'environnement définies
actuellement et leur valeur.
Essayer de reconnaître quelques variables d'environnement
Vous pouvez aussi :
−afficher la valeur d'une variable d'environnement précise en tapant :
echo $VARIABLE
−modifier certaines variables d'environnement :
VARIABLE=nouv_valeur
Afficher la valeur actuelle de la variable PS1 et utiliser le manuel Unix pour reconnaître les
différentes valeurs. À vous ensuite de les modifier pour obtenir le prompt de votre choix
(commencer par les modifier sur la ligne de commande, puis lorsque vous aurez trouvé le bon,
changez la ligne correspondante dans le bon fichier de configuration.)!