Annexes

Paramètres du shell

Le shell ksh peut recevoir des paramètres, voici des exemples:

ksh -n nom_fichier, interprète les commandes sans les exécuter
ksh -v nom_fichier, imprime les lignes comme elles sont lues
ksh -x nom_fichier, imprime les lignes comme elles sont interprétées

.profile

Un shell est souvent déclaré dans le fichier /etc/passwd. Ceci permettant à utilisateur qui se connecte de pouvoir faire quelque chose !

Or, le shell peut, suite à son chargement, exécuter un fichier script personnalisable par utilisateur. Il suffit pour cela que ce fichier soit nommé .profile et qu'il soit installé dans le répertoire par défaut de cet utilisateur.

.kshrc

Cf. explications ici.

Les scripts

Pour éditer un script, Vous pourrez utiliser n'importe quel éditeur (par défaut, vi)

Pour exécuter un script, vous pourrez:

- taper ksh nom_script,
- ou rendre le fichier exécutable (chmod u+x nom_fichier) puis taper le nom du fichier

Pour être certain que votre fichier sera exécuté dans un Shell, le fichier pourra commencer par #!/bin/ksh.