cours-unix-shell

Introduction

Reprise d'un ancien cours UNIX/Shell, dédié à des formations internes pour l'Inist-CNRS.

Il dérive de versions plus anciennes, légèrement modifiées avec le temps, dont l'origine remonte à 2004. Leurs auteurs sont François Parmentier et Philippe Houdry.

Il aborde des principes généraux, des commandes de base et une initiation à la programmation en shell UNIX. Chaque partie comprend un cours et un TP.

1. UNIX: présentation des caractéristiques, de l'historique d'Unix et du cas particulier de Linux,
2. bases: redirections et commandes de base à connaître,
3. commandes: diverses commandes UNIX utiles,
4. shell: initiation pour la programmation de scripts shell,
5. sed: substitution de textes via l'éditeur de chaînes de caractères non interactif.
6. make: outil qui fait gagner du temps en ne réitérant pas des calculs qui ne sont plus nécessaires.

Rédaction

Pour voir le résultat de vos modifications en direct dans un navigateur (la page se recharge dès qu'un fichier est modifié), lancez:

mdbook serve --open

Il faut auparavant avoir installé mdbook.

Déploiement

mdbook génère tous les fichiers nécessaires au site web statique:

mdbook build

Ils sont placés par défaut dans un répertoire public.

Pour tester, plusieurs solutions:

1. avec node:

   cd public
   npx http-serve

2. avec python:

   cd public
   python -m SimpleHTTPServer

3. juste avec le navigateur: ouvrir le fichier public/index.html

Il suffit ensuite de copier tout le contenu du répertoire public sur un serveur web.