Débugue tes humanités
Plan de la séance #
- Rappels utiles
- Zsh
- Oh My Zsh
- L’apparence compte (les couleurs)
- Fonctions avancées : exemple de la recherche dans l’historique
1. Rappels utiles #
- où je suis :
pwd
- liste des fichiers :
ls
- naviguer :
cd
,cd document/mon-dossier
oucd ..
- déplacer un fichier :
mv
,mv document/mon-fichier.md document/mon-dossier/mon-fichier.md
- supprimer (définitivement) un fichier :
rm
,rm document/mon-dossier/mon-fichier.md
- afficher le contenu d’un fichier :
cat
,cat mon-fichier.md
- créer un fichier :
touch
,touch mon-nouveau-fichier.md
- créer un dossier :
mkdir
,mkdir document/mon-nouveau-dossier
Bons réflexes :
- touche tabulation : autocomplétion
- flèche du haut : historique des commandes
CTRL + R
: rechercher dans l’historique
1. Rappels utiles #
Exercice #
- créer un dossier
debugue
- dans ce dossier, créer un fichier
mon-fichier.txt
- créer un sous-dossier
fichiers
dans le dossierdebugue
- déplacer
mon-fichier.txt
dans le dossierfichiers
2. Zsh #
The Z shell (Zsh) is a Unix shell that can be used as an interactive login shell and as a command interpreter for shell scripting.
Source
Zsh est un interpréteur de commandes (par défaut l’interpréteur de commandes est Bash sur les systèmes Unix) qui simplifie l’utilisation du terminal grâce à :
- autocomplétion des commandes (pour simplifier la vie)
- meilleure interface (informations affichées)
- meilleure interactivité
2. Zsh #
Installation de Zsh #
(vous aurez peut-être besoin d’autres programmes comme Git)
- Linux :
sudo apt install zsh
puischsh -s /usr/bin/zsh
, et redémarrer le terminal - Mac :
- installer homebrew :
/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
- installer Zsh :
brew install zsh zsh-completions
puischsh -s /bin/zsh
, et redémarrer le terminal
- installer homebrew :
- Windows : l’installation est plus longue et pénible, exemple : https://candid.technology/zsh-windows-10/
2. Zsh #
Comment vérifier que l’installation s’est bien passée ? #
Plusieurs possibilités, l’autocomplétion est un bon moyen de vérifier que tout s’est bien passé :
- dans le dossier
debugue
que vous avez créé précédemment, taper la commandetouch mon-fichier-au-nom-complique-2022.txt
- taper à nouveau la même commande avec un moindre effort :
touch comp
puis la touche tabulation - l’autocomplétion vous permet de retrouver des commandes facilement !
3. Oh My Zsh #
Oh My Zsh is a delightful, open source, community-driven framework for managing your Zsh configuration. It comes bundled with thousands of helpful functions, helpers, plugins, themes, and a few things that make you shout…
https://ohmyz.sh/
Pour résumer : Zsh avec des options supplémentaires.
3. Oh My Zsh #
Installation #
sh -c "$(wget https://raw.github.com/ohmyzsh/ohmyzsh/master/tools/install.sh -O -)"
- ou
sh -c "$(curl -fsSL https://raw.github.com/ohmyzsh/ohmyzsh/master/tools/install.sh)"
(Un script permet d’installer facilement Oh My Zsh, attention il faut avoir Git d’installé.)
Puis fermer et rouvrir le terminal.
3. Oh My Zsh #
Exercice #
Modifier le thème à plusieurs reprises par défaut en suivant la documentation, pour cela il faut modifier le fichier ~/.zshrc
.
4. L’apparence compte (les couleurs) #
Plusieurs possibilités existent (notamment en modifiant le profil dans les préférences du terminal), mais Gogh offre un moyen simple de choisir des palettes :
- prérequis :
sudo apt-get install dconf-cli uuid-runtime
- créer un profil nommé « Default » depuis Preferences > Profiles > +
- Linux :
bash -c "$(wget -qO- https://git.io/vQgMr)"
- Mac :
bash -c "$(curl -sLo- https://git.io/vQgMr)"
Gogh propose alors de choisir un schéma de couleurs en fonction de ceux existants, une fois le schéma ajouté il faut modifier les préférences du terminal pour le voir.
4. L’apparence compte (les couleurs) #
Exercice #
Ajouter plusieurs schémas de couleurs et modifier les préférences du terminal pour tester différents environnements.
5. Fonctions avancées : exemple de la recherche dans l’historique #
Améliorons la fonction de recherche dans l’historique du terminal (CTRL+R
) grâce à un plugin Oh My Zsh :
- modifier le fichier
~/.zshrc
pour ajouter le plugin zsh-navigation-tools, voici ce que vous devriez obtenir :
plugins=(git zsh-navigation-tools)
- fermer et rouvrir le terminal
- tester la fonction en faisant une recherche avec
CTRL+R
, un nouvel écran devrait s’afficher. Tapertexte
pour voir les résultats
Exercice pour la prochaine séance #
Afin de mieux maîtriser votre terminal, effectuer chacune de ces actions via le terminal :
- création d’un nouveau dossier :
mkdir mon-dossier
- création d’un nouveau fichier (plein texte) :
touch mon-fichier.xml
- affichage du contenu d’un fichier (plein texte) :
cat mon-fichier.md
Débugue tes humanités
CC BY-NC-SA Chaire de recherche du Canada sur les écritures numériques, Bibliothèque des lettres et des sciences humaines, Ouvroir d'histoire de l'art et de muséologie numérique. — antoine.fauchie@umontreal.ca