variables d'environnement Linux
De Vulgum Techus
Version du 13 avril 2014 à 16:24 par Admin2 (discuter | contributions)
- $BASH -> chemin vers Bash généralement /bin/bash
- $BASH_ENV -> chemin vers le fichier de démarrage de Bash qui est lu à chaque lancement d'un script
- $EDITOR -> éditeur par défaut
- $HOME -> chemin du répertoire de l'utilisateur connecté (exemple /root si c'est l'utilisateur root)
- $IGNOREEOF -> nombre de caractères EOF (fin de fichier) envoyé par les touches Ctrl + D avant que le shell ne s'interrompe
