Documentation d'utilisation de Bash
BASH user manual
configuration d'environement bash
| 📄 Fichier | 📌 Rôle principal | 🧠 Chargé par / utilisé dans |
|---|---|---|
~/.bashrc |
Configuration du shell interactif : alias, fonctions, prompt, couleurs | Shells interactifs non-login (ex. : terminal) |
~/.bash_profile |
Chargé au démarrage d’un shell login, souvent utilisé pour lancer .bashrc |
Shells login (ex. : SSH, TTY) |
~/.profile |
Alternative à .bash_profile, utilisé si ce dernier n’existe pas |
Shells login |
~/.bash_logout |
Commandes exécutées à la déconnexion d’un shell login | Shells login |
/etc/bash.bashrc |
Configuration globale pour tous les utilisateurs | Shells interactifs |
/etc/profile |
Configuration globale pour tous les shells login | Shells login |
/etc/profile.d/*.sh |
Scripts additionnels exécutés à la connexion | Shells login |
~/.bash_aliases |
Fichier dédié aux alias personnels (souvent inclus dans .bashrc) |
Inclus manuellement dans .bashrc |
~/.inputrc |
Personnalisation de l’édition de ligne : raccourcis clavier, complétion | Shell interactif |
~/.bash_history |
Historique des commandes tapées | Automatiquement géré par Bash |
nano ~/.bashrc # configuration générale
code ~/.bashrc # ouvrir avec VSCode (si installé)
source ~/.bashrc # recharger shell après modification
exécution de bash
chmod +x {script-name} # rend un scripte exécutable
bash {script-name} # -n vérification de syntax sans exécution
syntax
Voir ce guide
Member discussion