Guide Bash du débutant - Index général des HOWTOs et mini ...

1.3. Modification des fichiers de configuration du Shell
Quand vous modifiez n'importe lequel des fichiers ci-dessus, les utilisateurs doivent soit se
reconnecter, soit exécuter (source) le fichier modifié afin que prennent effet les modifications. De la
deuxième manière, les modifications sont appliquées à la session active du Shell :
Figure 3.1. Différentes invites pour des utilisateurs différents
La plupart des scripts Shell s'exécutent dans leur propre environnement : les processus enfants
n'héritent pas des variables du parent à moins que celui-ci les exporte. Exécuter avec source un
fichier contenant des instructions Shell est un moyen d'appliquer les changements à son propre
environnement, de définir des variables dans son Shell actif.
Cet exemple montre aussi le paramétrage de diverses invites pour divers utilisateurs. Dans ce cas,
rouge signifie danger. Si vous avez une invite verte, ne vous inquiétez pas trop.
Notez que source resourcefile est équivalent à . resourcefile.
Si vous vous trouvez perdu avec tous ces fichiers de configuration, et que vous ne ciblez pas où un
certain paramètre est défini, employez echo, tout comme pour debugger un script ; voir la
Section 3.2, « Débugger qu'une partie du script ». Vous pouvez ajouter des lignes comme celles-ci :
echo "Avant exécution de .bash_profile.."
ou comme celles-ci :
echo "Avant définition de PS1 dans .bashrc:"
export PS1="[la bonne valeur]"
echo "PS1 est défini comme ceci $PS1"
2. Variables
2.1. Types de variables
Comme dans l'exemple ci-dessus, les variables Shell sont en majuscule par convention. Bash garde
une liste de 2 types de variables :
2.1.1. Les variables Globales
Les variables Globales ou variables d'environnement sont disponibles dans tous les Shells. Les
commandes env ou printenv peuvent être employées pour afficher les variables d'environnement.
Ces programmes font partie du paquetage sh-utils.