Débugue tes humanités Saison 2

Séance 01 - Paramétrer son terminal

Installation de Zsh et de Oh My Zsh, modification de l'apparence. Découverte des fonctions avancées offertes par Zsh. Navigation dans l'historique.

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

Plan de la séance #

  1. Rappels utiles
  2. Zsh
  3. Oh My Zsh
  4. L’apparence compte (les couleurs)
  5. 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 ou cd ..
  • 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 dossier debugue
  • déplacer mon-fichier.txt dans le dossier fichiers

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 puis chsh -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 puis chsh -s /bin/zsh, et redémarrer le terminal
  • 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é :

  1. dans le dossier debugue que vous avez créé précédemment, taper la commande touch mon-fichier-au-nom-complique-2022.txt
  2. taper à nouveau la même commande avec un moindre effort : touch comp puis la touche tabulation
  3. 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 #

(https://ohmyz.sh/) :

  • 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. Taper texte 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