« Le système d'exploitation GNU-Linux/Autres commandes utiles » : différence entre les versions
Contenu supprimé Contenu ajouté
mAucun résumé des modifications |
|||
Ligne 13 :
=== sed ===
{{Wikipédia|Stream Editor}}
sed : utilitaire de traitement de données très puissant, capable d'utiliser les expressions régulières.
Pour substituer toute « chaîne1 » dans le fichier « chemin1 » avec
« chaine2 » et envoyer le résultat dans le fichier « chemin2 » :
sed 's/chaine1/chaine2/g' chemin1 > chemin2▼
Exemple de changement de format de date :
▲sed 's/chaine1/chaine2/g' chemin1 > chemin2
echo "03/11/2015 23:54:03" | sed -r "s/([0-9]+)\/([0-9]+)\/([0-9]+)/\3-\2-\1/g"
donne :
2015-11-03 23:54:03
== Trouver les commandes et les programmes ==
| |||