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 →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
doc:programmation:bash:config [19/09/2010 05:27] martin_mtl |
doc:programmation:bash:config [16/02/2014 15:33] MicP [Localisation des scripts] |
||
---|---|---|---|
Ligne 4: | Ligne 4: | ||
===== Scripts existants dans ~/user ou /root ===== | ===== Scripts existants dans ~/user ou /root ===== | ||
- | 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 : | + | 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 ~/) : |
-.profile | -.profile | ||
Ligne 11: | Ligne 11: | ||
-.bash_history | -.bash_history | ||
- | Ce sont des fichiers de script shell, concernant la configuration de votre console à son lancement. | + | 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 se trouvent ici : | + | Les scripts concernant tous les utilisateurs du système se trouvent ici : |
*/etc/profile | */etc/profile | ||
*/etc/bash.bashrc | */etc/bash.bashrc | ||
Ligne 20: | Ligne 20: | ||
- | ===== Localisation des scripts ===== | + | ===== Localisation des scripts dans l'arborescence du système de fichiers===== |
- | Ces chemins sont déclarés dans le fichier ''/etc/profile'' | + | 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 utilisateurs : /usr/local/bin:/usr/bin:/bin:/usr/games | ||
Ligne 29: | Ligne 29: | ||
**/etc/profile** concerne tous les utilisateurs : | **/etc/profile** concerne tous les utilisateurs : | ||
- | Pour afficher votre propre fichier, taper : | + | Pour visualiser le fichier ''/etc/profile'' de votre installation, entrez la commande : |
- | <code bash> | + | <code user>cat /etc/profile</code> |
- | ~$ cat /etc/profile | + | <file bash /etc/profile> |
# /etc/profile: system-wide .profile file for the Bourne shell (sh(1)) | # /etc/profile: system-wide .profile file for the Bourne shell (sh(1)) | ||
# and Bourne compatible shells (bash(1), ksh(1), ash(1), ...). | # and Bourne compatible shells (bash(1), ksh(1), ash(1), ...). | ||
Ligne 38: | Ligne 38: | ||
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" | PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" | ||
else | else | ||
- | PATH="/usr/local/bin:/usr/bin:/bin:/usr/games" | + | PATH="/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games" |
fi | fi | ||
+ | export PATH | ||
if [ "$PS1" ]; then | if [ "$PS1" ]; then | ||
- | if [ "$BASH" ]; then | + | if [ "$BASH" ] && [ "$BASH" != "/bin/sh" ]; then |
- | PS1='\u@\h:\w\$ ' | + | # The file bash.bashrc already sets the default PS1. |
+ | # PS1='\h:\w\$ ' | ||
+ | if [ -f /etc/bash.bashrc ]; then | ||
+ | . /etc/bash.bashrc | ||
+ | fi | ||
else | else | ||
if [ "`id -u`" -eq 0 ]; then | if [ "`id -u`" -eq 0 ]; then | ||
Ligne 53: | Ligne 58: | ||
fi | fi | ||
- | export PATH | + | # The default umask is now handled by pam_umask. |
+ | # See pam_umask(8) and /etc/login.defs. | ||
- | umask 022</code> | + | if [ -d /etc/profile.d ]; then |
+ | for i in /etc/profile.d/*.sh; do | ||
+ | if [ -r $i ]; then | ||
+ | . $i | ||
+ | fi | ||
+ | done | ||
+ | unset i | ||
+ | fi | ||
+ | </file> | ||
- | Ici 4 chemins sont indiqués, vous pouvez les utiliser ainsi : | + | 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 vous personnellement (pleins de petits scripts) | + | */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) | */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) | */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) | ||
Ligne 75: | Ligne 90: | ||
Pour afficher votre propre fichier, tapez : | Pour afficher votre propre fichier, tapez : | ||
- | <code bash> | + | <code user> |
cat ~/.profile | cat ~/.profile | ||
# ~/.profile: executed by the command interpreter for login shells. | # ~/.profile: executed by the command interpreter for login shells. | ||
Ligne 110: | Ligne 125: | ||
==== .bashrc ==== | ==== .bashrc ==== | ||
- | Pour afficher votre prore fichier ''.bashrc'', tapez : | + | Pour afficher votre propre fichier ''.bashrc'', tapez : |
- | <code bash> | + | <code user>cat ~/.bashrc</code> |
- | cat ~/.bashrc</code> | + | |
| | ||
Voici le début du script : | Voici le début du script : |