User Tools

Site Tools


bash

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

Link to this comparison view

Next revision
Previous revision
bash [2017/01/10 15:39]
damien created
bash [2017/02/27 07:55] (current)
kevin
Line 1: Line 1:
-Quelque ​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.1484062759.txt.gz · Last modified: 2017/01/10 15:39 by damien