User Tools

Site Tools


bash

Quelques commandes utiles : Renommer de (07) vers (06) <code>rename -v 's/07/06/' *</code> Ajouter quelque chose à la fin <code>for f in *; do mv "$f" "$f.png"; done</code> Chercher une commande dans son historique <code>cat ~/.bash_history | grep rename</code> Quelques caractères : <code>espace = [[:space:]] ( = \( ) = \)</code>

bash.txt · Last modified: 2017/02/27 07:55 by kevin