34 509
modifications
Différences entre les versions de « Le système d'exploitation GNU-Linux/Autres commandes utiles »
Aller à la navigation
Aller à la recherche
Le système d'exploitation GNU-Linux/Autres commandes utiles (modifier)
Version du 14 octobre 2018 à 00:01
, il y a 3 ans→sed
(→sed) |
(→sed) |
||
|
{{Wikipédia|Stream Editor}}
<code>sed</code>
Exemples :
Pour substituer toute « chaîne1 » dans le fichier « chemin1 » avec▼
* Pour remplacer toute «
<source lang=bash>
sed -i 's/chaine1/chaine2/g' chemin1
</source>
▲* Pour substituer toute «
<source lang=bash>
sed 's/chaine1/chaine2/g' chemin1 > chemin2
</source>
* Exemple de changement de format de date :
<source lang=bash>
echo "03/11/2015 23:54:03" | sed -r "s/([0-9]+)\/([0-9]+)\/([0-9]+)/\3-\2-\1/g"
</source>
donne :
2015-11-03 23:54:03
* Si erreur d’édition sour Windows : ^M, convertir avec :
<source lang=bash>
sed 's/\r//' github-pr-create > github-pr-create
</source>
== Trouver les commandes et les programmes ==
| |||