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 #
pwd
ls
cd
, cd document/mon-dossier
ou cd ..
mv
, mv document/mon-fichier.md document/mon-dossier/mon-fichier.md
rm
, rm document/mon-dossier/mon-fichier.md
cat
, cat mon-fichier.md
touch
, touch mon-nouveau-fichier.md
mkdir
, mkdir document/mon-nouveau-dossier
Bons réflexes :
CTRL + R
: rechercher dans l’historique
1. Rappels utiles #
debugue
mon-fichier.txt
fichiers
dans le dossier debugue
mon-fichier.txt
dans le dossier fichiers
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 à :
2. Zsh #
(vous aurez peut-être besoin d’autres programmes comme Git)
sudo apt install zsh
puis chsh -s /usr/bin/zsh
, et redémarrer le terminal/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"
brew install zsh zsh-completions
puis chsh -s /bin/zsh
, et redémarrer le terminal
2. Zsh #
Plusieurs possibilités, l’autocomplétion est un bon moyen de vérifier que tout s’est bien passé :
debugue
que vous avez créé précédemment, taper la commande touch mon-fichier-au-nom-complique-2022.txt
touch comp
puis la touche tabulation
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 #
sh -c "$(wget https://raw.github.com/ohmyzsh/ohmyzsh/master/tools/install.sh -O -)"
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 #
Modifier le thème à plusieurs reprises par défaut en suivant la documentation, pour cela il faut modifier le fichier ~/.zshrc
.
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 :
sudo apt-get install dconf-cli uuid-runtime
bash -c "$(wget -qO- https://git.io/vQgMr)"
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) #
Ajouter plusieurs schémas de couleurs et modifier les préférences du terminal pour tester différents environnements.
Améliorons la fonction de recherche dans l’historique du terminal (CTRL+R
) grâce à un plugin Oh My Zsh :
~/.zshrc
pour ajouter le plugin zsh-navigation-tools, voici ce que vous devriez obtenir :plugins=(git zsh-navigation-tools)
CTRL+R
, un nouvel écran devrait s’afficher. Taper texte
pour voir les résultats
Afin de mieux maîtriser votre terminal, effectuer chacune de ces actions via le terminal :
mkdir mon-dossier
touch mon-fichier.xml
cat mon-fichier.md