Les fichiers de démarrage du shell Bash

/etc/profile

Voici un /etc/profile de base. Ce fichier démarre en paramétrant des fonctions d'aide et quelques paramètres de base. Il spécifie des paramètres d'historique de bash et, pour des raisons de sécurité, il désactive la conservation d'un fichier d'historique permanent pour l'utilisateur root. Il paramètre aussi une invite utilisateur par défaut. Il appelle ensuite de petits scripts à finalité unique dans le répertoire /etc/profile.d pour fournir la plupart de l'initialisation.

Pour plus d'informations sur les séquences d'échappement que vous pouvez utiliser pour votre invite (à savoir la variable d'environnement PS1) voir info bash -- Node: Printing a Prompt.

cat > /etc/profile << "EOF"
# Début de /etc/profile
# Écrit pour Beyond Linux From Scratch
# par James Robertson <jameswrobertson@earthlink.net>
# modifications de Dagmar d'Surreal <rivyqntzne@pbzpnfg.arg>

# Variables d'environnement du système et programmes de démarrage.

# Les alias et les fonctions du système devraient aller dans /etc/bashrc.  Les variables
# d'environnement et les programmes personnels devraient aller dans
# ~/.bash_profile.  Les alias et fonctions personnels devraient aller dans
# ~/.bashrc.

# Fonctions pour aider à gérer les chemins de recherche.  Le second argument est le nom de
# la variable de chemin à modifier (par défaut : PATH)
pathremove () {
        local IFS=':'
        local NEWPATH
        local DIR
        local PATHVARIABLE=${2:-PATH}
        for DIR in ${!PATHVARIABLE} ; do
                if [ "$DIR" != "$1" ] ; then
                  NEWPATH=${NEWPATH:+$NEWPATH:}$DIR
                fi
        done
        export $PATHVARIABLE="$NEWPATH"
}

pathprepend () {
        pathremove $1 $2
        local PATHVARIABLE=${2:-PATH}
        export $PATHVARIABLE="$1${!PATHVARIABLE:+:${!PATHVARIABLE}}"
}

pathappend () {
        pathremove $1 $2
        local PATHVARIABLE=${2:-PATH}
        export $PATHVARIABLE="${!PATHVARIABLE:+${!PATHVARIABLE}:}$1"
}

export -f pathremove pathprepend pathappend

# Indique le chemin de recherche
export PATH=/usr/bin

# Tentative de rétro-compatibilité avec LFS inférieur à 11
if [ ! -L /bin ]; then
        pathappend /bin
fi

if [ $EUID -eq 0 ] ; then
        pathappend /usr/sbin
        if [ ! -L /sbin ]; then
                pathappend /sbin
        fi
        unset HISTFILE
fi

# Mise en place de certaines variables d'environnement.
export HISTSIZE=1000
export HISTIGNORE="&:[bf]g:exit"

# Set some defaults for graphical systems
export XDG_DATA_DIRS=${XDG_DATA_DIRS:-/usr/share/}
export XDG_CONFIG_DIRS=${XDG_CONFIG_DIRS:-/etc/xdg/}
export XDG_RUNTIME_DIR=${XDG_RUNTIME_DIR:-/tmp/xdg-$USER}

# Mise en place d'une invite rouge pour root et verte pour les utilisateurs.
NORMAL="\[\e[0m\]"
RED="\[\e[1;31m\]"
GREEN="\[\e[1;32m\]"
if [[ $EUID == 0 ]] ; then
  PS1="$RED\u [ $NORMAL\w$RED ]# $NORMAL"
else
  PS1="$GREEN\u [ $NORMAL\w$GREEN ]\$ $NORMAL"
fi

for script in /etc/profile.d/*.sh ; do
        if [ -r $script ] ; then
                . $script
        fi
done

unset script RED GREEN NORMAL

# Fin de /etc/profile
EOF

install --directory --mode=0755 --owner=root --group=root /etc/profile.d

/etc/profile.d/bash_completion.sh

Note

L'utilisation du script de complétion bash ci-dessous ne fait pas consensus. Tous les utilisateurs ne l'aiment pas. Il ajoute de nombreuses (plus de 1000) lignes à l'environnement bash et rend difficile d'utiliser la commande « set » pour examiner des variables d'environnement simples. Passer ce script n'interfère pas avec la capacité de bash d'utiliser la touche de tabulation pour compléter les noms de fichiers.

Ce script importe les scripts de complétion bash, installé par beaucoup d'autres paquets BLFS pour permettre la complétion de la ligne de commande avec TAB.

cat > /etc/profile.d/bash_completion.sh << "EOF"
# Begin /etc/profile.d/bash_completion.sh
# Import bash completion scripts

# If the bash-completion package is installed, use its configuration instead
if [ -f /usr/share/bash-completion/bash_completion ]; then

  # Check for interactive bash and that we haven't already been sourced.
  if [ -n "${BASH_VERSION-}" -a -n "${PS1-}" -a -z "${BASH_COMPLETION_VERSINFO-}" ]; then

    # Check for recent enough version of bash.
    if [ ${BASH_VERSINFO[0]} -gt 4 ] || \
       [ ${BASH_VERSINFO[0]} -eq 4 -a ${BASH_VERSINFO[1]} -ge 1 ]; then
       [ -r "${XDG_CONFIG_HOME:-$HOME/.config}/bash_completion" ] && \
            . "${XDG_CONFIG_HOME:-$HOME/.config}/bash_completion"
       if shopt -q progcomp && [ -r /usr/share/bash-completion/bash_completion ]; then
          # Source completion code.
          . /usr/share/bash-completion/bash_completion
       fi
    fi
  fi

else

  # bash-completions are not installed, use only bash completion directory
  if shopt -q progcomp; then
    for script in /etc/bash_completion.d/* ; do
      if [ -r $script ] ; then
        . $script
      fi
    done
  fi
fi

# End /etc/profile.d/bash_completion.sh
EOF

Assurez-vous que le répertoire existe :

install --directory --mode=0755 --owner=root --group=root /etc/bash_completion.d

Pour une installation plus complète, voir https://wiki.linuxfromscratch.org/blfs/wiki/bash-shell-startup-files#bash-completions.

cat > /etc/profile.d/dircolors.sh << "EOF"
# Setup for /bin/ls and /bin/grep to support color, the alias is in /etc/bashrc.
if [ -f "/etc/dircolors" ] ; then
        eval $(dircolors -b /etc/dircolors)
fi

if [ -f "$HOME/.dircolors" ] ; then
        eval $(dircolors -b $HOME/.dircolors)
fi

alias ls='ls --color=auto'
alias grep='grep --color=auto'
EOF

cat > /etc/profile.d/extrapaths.sh << "EOF"
if [ -d /usr/local/lib/pkgconfig ] ; then
        pathappend /usr/local/lib/pkgconfig PKG_CONFIG_PATH
fi
if [ -d /usr/local/bin ]; then
        pathprepend /usr/local/bin
fi
if [ -d /usr/local/sbin -a $EUID -eq 0 ]; then
        pathprepend /usr/local/sbin
fi

if [ -d /usr/local/share ]; then
        pathprepend /usr/local/share XDG_DATA_DIRS
fi

# Set some defaults before other applications add to these paths.
pathappend /usr/share/man  MANPATH
pathappend /usr/share/info INFOPATH
EOF

cat > /etc/profile.d/readline.sh << "EOF"
# Set up the INPUTRC environment variable.
if [ -z "$INPUTRC" -a ! -f "$HOME/.inputrc" ] ; then
        INPUTRC=/etc/inputrc
fi
export INPUTRC
EOF

cat > /etc/profile.d/umask.sh << "EOF"
# By default, the umask should be set.
if [ "$(id -gn)" = "$(id -un)" -a $EUID -gt 99 ] ; then
  umask 002
else
  umask 022
fi
EOF

cat > /etc/profile.d/i18n.sh << "EOF"
# Set up i18n variables
. /etc/locale.conf
export LANG
EOF

/etc/bashrc

Voici un /etc/bashrc de base. Les commentaires dans ce fichier devraient vous expliquer tout ce dont vous avez besoin.

cat > /etc/bashrc << "EOF"
# Begin /etc/bashrc
# Written for Beyond Linux From Scratch
# by James Robertson <jameswrobertson@earthlink.net>
# updated by Bruce Dubbs <bdubbs@linuxfromscratch.org>

# System wide aliases and functions.

# System wide environment variables and startup programs should go into
# /etc/profile.  Personal environment variables and startup programs
# should go into ~/.bash_profile.  Personal aliases and functions should
# go into ~/.bashrc

# Provides colored /bin/ls and /bin/grep commands.  Used in conjunction
# with code in /etc/profile.

alias ls='ls --color=auto'
alias grep='grep --color=auto'

# Provides prompt for non-login shells, specifically shells started
# in the X environment. [Review the LFS archive thread titled
# PS1 Environment Variable for a great case study behind this script
# addendum.]

NORMAL="\[\e[0m\]"
RED="\[\e[1;31m\]"
GREEN="\[\e[1;32m\]"
if [[ $EUID == 0 ]] ; then
  PS1="$RED\u [ $NORMAL\w$RED ]# $NORMAL"
else
  PS1="$GREEN\u [ $NORMAL\w$GREEN ]\$ $NORMAL"
fi

unset RED GREEN NORMAL

# End /etc/bashrc
EOF

~/.bash_profile

Voici un ~/.bash_profile de base. Si vous voulez que chaque nouvel utilisateur ait automatiquement ce fichier, renvoyez seulement la sortie de la commande vers /etc/skel/.bash_profile et vérifiez les droits après l'exécution de la commande. Vous pouvez alors copier /etc/skel/.bash_profile dans les répertoires home des utilisateurs existants, y compris celui de root, et réglez comme il faut le propriétaire et le groupe d'appartenance.

cat > ~/.bash_profile << "EOF"
# Begin ~/.bash_profile
# Written for Beyond Linux From Scratch
# by James Robertson <jameswrobertson@earthlink.net>
# updated by Bruce Dubbs <bdubbs@linuxfromscratch.org>

# Personal environment variables and startup programs.

# Personal aliases and functions should go in ~/.bashrc.  System wide
# environment variables and startup programs are in /etc/profile.
# System wide aliases and functions are in /etc/bashrc.

if [ -f "$HOME/.bashrc" ] ; then
  source $HOME/.bashrc
fi

if [ -d "$HOME/bin" ] ; then
  pathprepend $HOME/bin
fi

# Having . in the PATH is dangerous
#if [ $EUID -gt 99 ]; then
#  pathappend .
#fi

# End ~/.bash_profile
EOF

~/.profile

Voici un ~/.profile de base. Les commentaires et les instructions d'utilisation de /etc/skel pour .bash_profile ci-dessus s'appliquent aussi ici. Seuls les noms de fichiers cibles sont différents.

cat > ~/.profile << "EOF"
# Begin ~/.profile
# Personal environment variables and startup programs.

if [ -d "$HOME/bin" ] ; then
  pathprepend $HOME/bin
fi

# Set up user specific i18n variables
#export LANG=<ll>_<CC>.<charmap><@modifiers>

# End ~/.profile
EOF

~/.bashrc

Voici un fichier ~/.bashrc de base.

cat > ~/.bashrc << "EOF"
# Begin ~/.bashrc
# Written for Beyond Linux From Scratch
# by James Robertson <jameswrobertson@earthlink.net>

# Personal aliases and functions.

# Personal environment variables and startup programs should go in
# ~/.bash_profile.  System wide environment variables and startup
# programs are in /etc/profile.  System wide aliases and functions are
# in /etc/bashrc.

if [ -f "/etc/bashrc" ] ; then
  source /etc/bashrc
fi

# Set up user specific i18n variables
#export LANG=<ll>_<CC>.<charmap><@modifiers>

# End ~/.bashrc
EOF

~/.bash_logout

C'est un ~/.bash_logout vide qui peut être utilisé comme modèle. Vous remarquerez que le ~/.bash_logout de base n'inclut pas de commande clear. Ceci car le vidage se gère dans le fichier /etc/issue.

cat > ~/.bash_logout << "EOF"
# Begin ~/.bash_logout
# Written for Beyond Linux From Scratch
# by James Robertson <jameswrobertson@earthlink.net>

# Personal items to perform on logout.

# End ~/.bash_logout
EOF

/etc/dircolors

Si vous utilisez la possibilité dircolors, lancez la commande suivante. Les étapes de paramétrage de /etc/skel indiquées ci-dessus peuvent être utilisées ici pour avoir un fichier ~/.dircolors lors du réglage d'un nouvel utilisateur. Comme tout à l'heure, changez simplement le nom du fichier de sorti dans la commande suivante et assurez-vous que les droits, le propriétaire et le groupe conviennent aux fichiers créés ou copiés.

dircolors -p > /etc/dircolors

Si vous souhaitez personnaliser les couleurs utilisées pour différents types de fichiers, vous devez éditer le fichier /etc/dircolors. Les instructions pour régler les couleurs sont comprises dans le fichier.

Enfin, Ian Macdonald a écrit un ensemble excellent de modèles et de bidouillages pour améliorer votre environnement de shell. Vous pouvez le lire en ligne sur https://www.caliban.org/bash/index.shtml.