« Shell bash » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 7 : | Ligne 7 : | ||
* Un générique pour tout les utilisateurs : <source lang="bash" inline>/etc/bash.bashrc</source> | * Un générique pour tout les utilisateurs : <source lang="bash" inline>/etc/bash.bashrc</source> | ||
* Un local pour chaque utilisateurs en particulier : <source lang="bash" inline>~/.bashrc</source> | * Un local pour chaque utilisateurs en particulier : <source lang="bash" inline>~/.bashrc</source> | ||
Pour que les modifications prennent effet, il faut recharger le fichier après modification soit en relançant le shell, soit en exécutant le fichier comme s'il s’agissait d'une commande <source lang="bash" inline>. .bashrc</source> ou bien en utilisant la commande <source lang="bash" inline>source ~/.bashrc</source>. | |||
===Auto complétion=== | |||
Le paquet <source lang="bash" inline>bash-completion</source> offre la possibilité de compléter les commandes bash à l'aide de la tabulation. Il faut entrer les quelques lignes suivantes dans l'un des fichiers de configuration de bash pour que cela prenne effet. | |||
if ! shopt -oq posix; then | |||
if [ -f /usr/share/bash-completion/bash_completion ]; then | |||
. /usr/share/bash-completion/bash_completion | |||
elif [ -f /etc/bash_completion ]; then | |||
. /etc/bash_completion | |||
fi | |||
fi | |||
===Personnalisation du prompt=== | |||
==inputrc== | ==inputrc== | ||
Rendre insensible l'auto complétion du shell bash à la casse (très utile quand on tape vite au clavier et que le système écrit /Etc au lieu de /etc et dit "Aucun fichier ou dossier de ce type"). | Rendre insensible l'auto complétion du shell bash à la casse (très utile quand on tape vite au clavier et que le système écrit /Etc au lieu de /etc et dit "Aucun fichier ou dossier de ce type"). |
Version du 12 avril 2017 à 21:13
Le shell bash est l'interpréteur de commande par défaut de la plupart des distributions Linux. Il peut être personnalisé en modifiant son apparence ou en lui activant des paramètres.
Configuration
bashrc
Le .bashrc
est un fichier qui contient des commandes à exécuter au moment de la connexion d'un utilisateur. Il en existe 2 types :
- Un générique pour tout les utilisateurs :
/etc/bash.bashrc
- Un local pour chaque utilisateurs en particulier :
~/.bashrc
Pour que les modifications prennent effet, il faut recharger le fichier après modification soit en relançant le shell, soit en exécutant le fichier comme s'il s’agissait d'une commande . .bashrc
ou bien en utilisant la commande source ~/.bashrc
.
Auto complétion
Le paquet bash-completion
offre la possibilité de compléter les commandes bash à l'aide de la tabulation. Il faut entrer les quelques lignes suivantes dans l'un des fichiers de configuration de bash pour que cela prenne effet.
if ! shopt -oq posix; then if [ -f /usr/share/bash-completion/bash_completion ]; then . /usr/share/bash-completion/bash_completion elif [ -f /etc/bash_completion ]; then . /etc/bash_completion fi fi
Personnalisation du prompt
inputrc
Rendre insensible l'auto complétion du shell bash à la casse (très utile quand on tape vite au clavier et que le système écrit /Etc au lieu de /etc et dit "Aucun fichier ou dossier de ce type").
vim ~/.inputrc
Ajouter cette ligne :
set completion-ignore-case On
Sources
http://askubuntu.com/questions/87061/can-i-make-tab-auto-completion-case-insensitive-in-the-terminal