Bash
Type de coquille
Recherche…
Remarques
Login Shell
Un shell de connexion est un shell dont le premier caractère de l'argument zéro est un - ou un qui a été lancé avec l'option –login. L'initialisation est plus complète que dans un (sous) shell interactif normal.
Shell interactif
Un shell interactif est un shell démarré sans arguments non optionnels et sans l'option -c dont l'entrée et l'erreur standard sont toutes deux connectées aux terminaux (comme déterminé par isatty (3)), ou une option démarrée avec l'option -i. PS1 est défini et $ - inclut i si bash est interactif, permettant à un script shell ou à un fichier de démarrage de tester cet état.
Shell non interactif
Un shell non interactif est un shell dans lequel l'utilisateur ne peut pas interagir avec le shell. Par exemple, un shell exécutant un script est toujours un shell non interactif. Le script peut quand même accéder à son tty.
Configuration d'un shell de connexion
En vous connectant:
If '/etc/profile' exists, then source it.
If '~/.bash_profile' exists, then source it,
else if '~/.bash_login' exists, then source it,
else if '~/.profile' exists, then source it.
Pour les shells interactifs non connectés
Au démarrage:
If `~/.bashrc' exists, then source it.
Pour les coques non interactives
Au démarrage: Si la variable d'environnement ENV est non nulle, développez la variable et sourcez le fichier nommé par la valeur. Si Bash n'est pas démarré en mode Posix, il recherche BASH_ENV avant ENV.
Introduction aux fichiers de points
Dans Unix, les fichiers et répertoires commençant par un point contiennent généralement des paramètres pour un programme / une série de programmes spécifiques. Les fichiers de points sont généralement cachés à l'utilisateur, vous devrez donc lancer ls -a pour les voir.
Un exemple de fichier de points est .bash_history , qui contient les dernières commandes exécutées, en supposant que l'utilisateur utilise Bash.
Il existe divers fichiers provenant de l’architecture Bash. L'image ci-dessous, extraite de ce site , montre le processus de décision derrière le choix des fichiers à générer au démarrage.
Démarrer un shell interactif
bash
Détecter le type de coque
shopt -q login_shell && echo 'login' || echo 'not-login'
