Reprise d'un ancien cours UNIX/Shell

UnixShell_cours2018 Réencode les fichiers .txt 11 months ago
src docs(bases): Fix mistyping 5 months ago
.gitignore chore(git): Ignore un fichier 7 months ago
.gitlab-ci.yml Only deploy pages manually 11 months ago
.markdownlint.json Nettoyage du Markdown 11 months ago
README.md Doc: public au lieu de book 11 months ago
book.toml Prepare for GitLab pages 11 months ago
README.md

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.