User Tools

Site Tools


bash

====== Differences ====== This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
bash [2017/01/10 15:39]
damien
bash [2017/02/27 07:55] (current)
kevin
Line 1: Line 1:
 Quelques commandes utiles : Quelques commandes utiles :
 +
 Renommer de (07) vers (06) Renommer de (07) vers (06)
 <​code>​rename -v '​s/​07/​06/'​ *</​code>​ <​code>​rename -v '​s/​07/​06/'​ *</​code>​
Line 8: Line 9:
 Chercher une commande dans son historique Chercher une commande dans son historique
 <​code>​cat ~/​.bash_history | grep rename</​code>​ <​code>​cat ~/​.bash_history | grep rename</​code>​
 +
 +Quelques caractères :
 +<​code>​espace = [[:space:]]
 +( = \(
 +) = \)</​code>​
bash.1484062766.txt.gz · Last modified: 2017/01/10 15:39 by damien