« Shell bash » : différence entre les versions

De Wiki doc

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 à 22: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