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 !
Vous avez 4 fichiers cachés (cachés, car le nom du fichier commence par un point “.
”), dans votre home (/home/user noté aussi simplement ~/), qui sont là pour vous aider :
Ce sont des fichiers de script shell, concernant la configuration de votre console à son lancement.
Les scripts concernant tous les utilisateurs se trouvent ici :
Ces chemins sont déclarés dans le fichier /etc/profile
/etc/profile concerne tous les utilisateurs :
Pour afficher votre propre fichier, taper :
~$ 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/games" fi if [ "$PS1" ]; then if [ "$BASH" ]; then PS1='\u@\h:\w\$ ' else if [ "`id -u`" -eq 0 ]; then PS1='# ' else PS1='$ ' fi fi fi export PATH umask 022
Ici 4 chemins sont indiqués, 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 prore 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 :