shell_unix
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
shell_unix [2019/02/04 12:47] – bigMax | shell_unix [2020/07/25 09:14] (Version actuelle) – [Scripts] bigMax | ||
---|---|---|---|
Ligne 6: | Ligne 6: | ||
Le shell Unix est une Interface en Ligne de Commande (CLI) qui permet à un utilisateur d’interagir avec un système d' | Le shell Unix est une Interface en Ligne de Commande (CLI) qui permet à un utilisateur d’interagir avec un système d' | ||
+ | |||
+ | ===== Atelier shell "live coding" | ||
+ | |||
+ | ==== Plan ==== | ||
+ | * intro: shell / terminal | ||
+ | * navigation : pwd cd ls | ||
+ | * fichiers : cp mv rm mkdir | ||
+ | * commandes: help man | ||
+ | * IO: redirection / pipelines | ||
+ | * expansion: * ~ {1..5} {Z..A} $USER | ||
+ | * permissions : ls -l chmod chown | ||
+ | * variables: $PS1 $PATH | ||
+ | * administration: | ||
+ | * scripts: philosophie tests loops fonctions | ||
+ | |||
+ | Philosophie UNIX: | ||
+ | * Écrivez des programmes qui effectuent une seule chose et qui le font bien. | ||
+ | * Écrivez des programmes qui collaborent. | ||
+ | * Écrivez des programmes pour gérer des flux de texte [en pratique des flux d' | ||
+ | |||
+ | ==== Retours ==== | ||
+ | * Durée 2h: probablement trop long. | ||
+ | * Difficile à suivre pour les néophites qui prennent des notes pour pouvoir reproduire plus tard, plutôt que de se concentrer sur la compréhension. | ||
+ | * Présenter le CLI + le GUI simultanément pour ce qui relève de la gestion des fichiers. | ||
+ | * Imposer des temps d' | ||
+ | * Questionner l' | ||
+ | * Présenter des schéma pour les redirections, | ||
+ | * Préparer un script final de démo et le présenter des le départ comme un objectif de l' | ||
+ | * Certaines expansions sont limitées à bash. | ||
+ | |||
===== Entrées / Sorties ===== | ===== Entrées / Sorties ===== | ||
Ligne 17: | Ligne 47: | ||
===== Scripts ===== | ===== Scripts ===== | ||
- | {{tag> | + | {{tag> |
shell_unix.1549284469.txt.gz · Dernière modification : 2019/02/04 12:47 de bigMax