logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).


L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT → ODT PDF Export

Ceci est une ancienne révision du document !


Dépièçage d'un Script contenant des Alias

LOL

Scripts existants dans ~/user ou /root

Il y a 4 fichiers cachés (cachés, car le nom du fichier commence par un point “.”), dans votre répertoire utilisateur (/home/user noté aussi simplement ~/) :

  1. .profile
  2. .bashrc
  3. .bash_logout
  4. .bash_history

Ce sont des fichiers de script shell, permettant de définir l'environnement de l'interface en ligne de commande.

Les scripts concernant tous les utilisateurs du système se trouvent ici :

  • /etc/profile
  • /etc/bash.bashrc

Localisation des scripts dans l'arborescence du système de fichiers

Les chemins d'accès sont déclarés dans le fichier /etc/profile

  • Pour les utilisateurs : /usr/local/bin:/usr/bin:/bin:/usr/games
  • Pour les administrateurs : /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin

/etc/profile concerne tous les utilisateurs :

Pour visualiser le fichier /etc/profile de votre installation, entrez la commande :

cat /etc/profile
/etc/profile
# /etc/profile: system-wide .profile file for the Bourne shell (sh(1))
# and Bourne compatible shells (bash(1), ksh(1), ash(1), ...).
 
if [ "`id -u`" -eq 0 ]; then
  PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"
else
  PATH="/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games"
fi
export PATH
 
if [ "$PS1" ]; then
  if [ "$BASH" ] && [ "$BASH" != "/bin/sh" ]; then
    # The file bash.bashrc already sets the default PS1.
    # PS1='\h:\w\$ '
    if [ -f /etc/bash.bashrc ]; then
      . /etc/bash.bashrc
    fi
  else
    if [ "`id -u`" -eq 0 ]; then
      PS1='# '
    else
      PS1='$ '
    fi
  fi
fi
 
# The default umask is now handled by pam_umask.
# See pam_umask(8) and /etc/login.defs.
 
if [ -d /etc/profile.d ]; then
  for i in /etc/profile.d/*.sh; do
    if [ -r $i ]; then
      . $i
    fi
  done
  unset i
fi

Ici 4 chemins sont indiqués, séparés par le caractère “:”.
Vous pouvez les utiliser ainsi :

  • /usr/local/bin : Vos premiers script à mettre ici pour votre système local (pleins de petits scripts)
  • /usr/bin : ici pour les scripts avancés, pour d'autres utilisateurs (des scripts avec des menus)
  • /bin : ici il y en a déjà beaucoup, pour les scripts assurément finis (assez gros, avec des fonctions internes à vos scripts et aux autres)
  • /usr/games : il y en a déjà pas mal concernant les jeux…

Scripts dans le /home/user

Ces scripts ne concernent que l'utilisateur (/home/user). Où user est votre login.
Ce sont des fichiers cachés, leur nom débute avec un point.

.profile

.profile (avec un point devant !) est le fichier qui est interprété au lancement de la console.

Pour afficher votre propre fichier, tapez :

cat ~/.profile
  # ~/.profile: executed by the command interpreter for login shells.
  # This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
  # exists.
  # see /usr/share/doc/bash/examples/startup-files for examples.
  # the files are located in the bash-doc package.
 
  # the default umask is set in /etc/profile; for setting the umask
  # for ssh logins, install and configure the libpam-umask package.
  #umask 022
 
  # if running bash
  if [ -n "$BASH_VERSION" ]; then
     # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
         . "$HOME/.bashrc"
    fi
  fi
 
  # set PATH so it includes user's private bin if it exists
  if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
  fi

Ce fichier déclare au système :

  1. un fichier (.bashrc dans votre /home/user) et
  2. un chemin (répertoire /bin dans votre /home/user).

C'est dans ce fichier (/home/user/.bashrc) ou dans les fichiers du répertoire /home/user/bin) que seront interprétées les commandes saisies dans la console.
Les principales commandes étant contenues dans le répertoire /bin de la racine.

.bashrc

Pour afficher votre propre fichier .bashrc, tapez :

cat ~/.bashrc

Voici le début du script :

  # ~/.bashrc: executed by bash(1) for non-login shells.
  # see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
  # for examples

Je n'ai pas mis tout le début du script (assez long, peu utile ici).

Pas besoin de modifier ce qui y est déclaré… Éventuellement, vous y reviendrez plus tard.

La suite du fichier nous intéresse…
Cette partie traite des alias (raccourcis) pour vous simplifier la vie, rechercher plus bas dans le fichiers les lignes suivantes :

1)
N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !
doc/programmation/bash/config.1392564536.txt.gz · Dernière modification: 16/02/2014 16:28 par MicP

Pied de page des forums

Propulsé par FluxBB