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>

bash.1484062774.txt.gz · Last modified: 2017/01/10 15:39 by damien