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 [18/08/2010 15:49] devpsp |
doc:programmation:bash:config [12/09/2010 16:49] 127.0.0.1 édition externe |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | ====== Dépieçage d'un Script contenant des Alias ====== | ||
+ | LOL | ||
+ | |||
+ | ===== Scripts existants dans ~/user ou /root ===== | ||
+ | |||
+ | Vous avez 4 fichiers cachés (cachés, car il y a un point "''.''" avant le nom du fichier), dans votre //home// (/home/user noté aussi simplement ~/), qui sont là pour vous aider : | ||
+ | |||
+ | -.profile | ||
+ | -.bashrc | ||
+ | -.bash_logout | ||
+ | -.bash_history | ||
+ | |||
+ | Ce sont des fichiers de script shell, concernant la configuration de votre console à son lancement. | ||
+ | |||
+ | Les scripts concernant tous les utilisateurs se trouvent ici : | ||
+ | */etc/profile | ||
+ | */etc/bash.bashrc | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== Localisation des scripts ===== | ||
+ | |||
+ | Ces chemins 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 afficher votre propre fichier, taper : | ||
+ | <code bash> | ||
+ | ~$ 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</code> | ||
+ | |||
+ | |||
+ | Ici 4 chemins sont indiqués, vous pouvez les utiliser ainsi : | ||
+ | |||
+ | */usr/local/bin : Vos premiers script à mettre ici pour vous personnellement (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 prore fichier, tapez : | ||
+ | <code bash> | ||
+ | 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 | ||
+ | </code> | ||
+ | |||
+ | Ce fichier déclare au système : | ||
+ | - un fichier (.bashrc dans votre /home/user) et | ||
+ | - 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 prore fichier ''.bashrc'', tapez : | ||
+ | <code bash> | ||
+ | cat ~/.bashrc</code> | ||
+ | | ||
+ | Voici le début du script : | ||
+ | <code> | ||
+ | # ~/.bashrc: executed by bash(1) for non-login shells. | ||
+ | # see /usr/share/doc/bash/examples/startup-files (in the package bash-doc) | ||
+ | # for examples</code> | ||
+ | | ||
+ | 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 : | ||
+ | |||