PAB's blog

Tag - zsh

Entries feed

Sunday, August 25 2019

Configuration de zsh, inspirée de la formation Debian d'Alexis de Lattre

By Pierre-Alain B on Sunday, August 25 2019, 19:10

Ceux qui ont débuté sous Debian il y a quelques années ont peut-être découvert la formation Debian d'Alexis de Lattre. Celle-ci a récemment migré vers un nouveau domaine : https://formation-debian.viarezo.fr/ mais il me semble qu'elle n'a plus été mise à jour depuis quelques temps.

Je stocke ici les fichiers de paramétrage de ZSH légèrement modifiés pour tenir compte de ce billet et de ce billet.

On pourra télécharger les fichiers et les placer à l'endroit adéquat du serveur avec cette série de commandes :

wget https://blog.bandinelli.net/public/zshrc
wget https://blog.bandinelli.net/public/zshenv
wget https://blog.bandinelli.net/public/zlogin
wget https://blog.bandinelli.net/public/zlogout
wget https://blog.bandinelli.net/public/dir_colors
mv zshrc zshenv zlogin zlogout /etc/zsh/
mv dir_colors /etc/

Thursday, November 19 2015

ZSH dit "GREP_OPTIONS is deprecated; please use an alias or script" sans relâche

By Pierre-Alain B on Thursday, November 19 2015, 18:00

Depuis quelques temps, ZSH sur Debian Jessie ne cessait de cracher "GREP_OPTIONS is deprecated; please use an alias or script".

Le solution vint en ajoutant cette ligne dans le fichier ~/.zshrc :

unset GREP_OPTIONS

Si GREP_OPTIONS était utilisé pour mettre certais contenus en couleur, cela pourra être avantageusement remplacé par cet alias :

alias grep="grep --color=auto"

Wednesday, December 10 2014

Activer la recherche des commandes historiques dans ZSH

By Pierre-Alain B on Wednesday, December 10 2014, 06:39

J'ai réalisé que par défaut, il n'était pas possible de rechercher dans l'historique des commandes avec mon shell ZSH (avec la commande Ctrl+R que j'avais déjà utilisée avec d'autres shells). Quà cela ne tienne ! Paramétrons correctement le ~/.zshrc pour réactiver cette fonctionnalité.

Il suffit d'ajouter ces quelques lignes à son .zshrc (celui de son /home ou bien celui général /etc/zsh/zshrc si l'on veut que cela s'applique à tous les utilisateurs) :

bindkey -v
bindkey '^R' history-incremental-search-backward
HISTSIZE=1000
SAVEHIST=1000
HISTFILE=~/.history

pour que désormais Ctrl+R permette d'activer la recherche de commandes historiques, avec par défaut les 1000 dernières commandes saisies enregistrées.

Attention, n'oubliez pas de faire attention alors à tout mot de passe saisi à un moment ou un autre en clair en ligne de commande (par exemple pour se connecter à un FTP, un partage Samba, un webdav...) car alors le mot de passe en clair sera conservé visible dans l'historique jusqu'à sa péremption !