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 →
Ceci est une ancienne révision du document !
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 ~/) :
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 :
Les chemins d'accès sont déclarés dans le fichier /etc/profile
/etc/profile concerne tous les utilisateurs :
Pour visualiser le fichier /etc/profile
de votre installation, entrez la commande :
cat /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 :
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
(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 :
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.
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 :