User Tools

Site Tools


bash

**This is an old revision of the document!** ----

A PCRE internal error occured. This might be caused by a faulty plugin

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> Exemple pour les preset de véhicules : <code> rename -v 's/[[:space:]]\(copie\)/_B/' *</code>

bash.1486047770.txt.gz · Last modified: 2017/02/02 15:02 by vincent