« Le système d'exploitation GNU-Linux/Les shells » : différence entre les versions

Un livre de Wikilivres.
Contenu supprimé Contenu ajouté
Tavernierbot (discussion | contributions)
Aucun résumé des modifications
Ligne 11 : Ligne 11 :
Le shell est constitué de petits shells spécifiques à chaque travail, chacun ayant un fichier de configuration stocké dans le répertoire /home de chaque utilisateur, lequel peut les modifier à sa convenance :
Le shell est constitué de petits shells spécifiques à chaque travail, chacun ayant un fichier de configuration stocké dans le répertoire /home de chaque utilisateur, lequel peut les modifier à sa convenance :


* <tt>.profile</tt> : executé automatiquement lors d'un shell de connexion (à chaque login), quel que soit le shell
* <tt>.profile</tt> : exécuté automatiquement lors d'un shell de connexion (à chaque login), quel que soit le shell


Fichiers de configuration spécifiques au shell '''Bash''' :
Fichiers de configuration spécifiques au shell '''Bash''' :


* <tt>.bash_profile</tt> : executé automatiquement lors d'un shell de connexion (à chaque login)
* <tt>.bash_profile</tt> : exécuté automatiquement lors d'un shell de connexion (à chaque login)
* <tt>.bashrc</tt> : chargé automatiquement lors d'un shell interactif
* <tt>.bashrc</tt> : chargé automatiquement lors d'un shell interactif
* <tt>.bash_logout</tt> : chargé lors de la fermeture du shell (à la déconnexion)
* <tt>.bash_logout</tt> : chargé lors de la fermeture du shell (à la déconnexion)

Version du 12 octobre 2009 à 18:40

Shell veut dire Coquille, qui entoure le noyau. C'est un interpréteur de commandes qu'on utilise pour lancer des commandes ou programmer une suite de commandes. L'utilisateur discute avec le Shell, qui discute avec le noyau, qui à son tour discute avec le matériel. Originellement le shell est utilisé sous Unix, il s'est répandu depuis avec différentes versions, la forme la plus simple est sh.

Les versions connues :

  • sh : shell Bourne
  • ksh : korn shell
  • Csh : Shell syntaxe du C
  • Tcsh : Csh amélioré
  • Bash : Bourne Again Shell
  • Zsh : le petit dernier

Le shell est constitué de petits shells spécifiques à chaque travail, chacun ayant un fichier de configuration stocké dans le répertoire /home de chaque utilisateur, lequel peut les modifier à sa convenance :

  • .profile : exécuté automatiquement lors d'un shell de connexion (à chaque login), quel que soit le shell

Fichiers de configuration spécifiques au shell Bash :

  • .bash_profile : exécuté automatiquement lors d'un shell de connexion (à chaque login)
  • .bashrc : chargé automatiquement lors d'un shell interactif
  • .bash_logout : chargé lors de la fermeture du shell (à la déconnexion)
À faire...link={{{link}}}

extraits des fichiers

À faire...link={{{link}}}

les fichiers communs : /etc/profile et /etc/bash.bashrc

Autres fichiers liés au Bash

  • .bash_history : c'est un fichier texte contenant l'historique des commandes tapées.