4623 shaares
397 liens privés
397 liens privés
5 résultats
taggé
sed
Han!
Je savais pas qu'on pouvait changer les séparateurs de sed! Exemple d'utilisation:
JENKINS_HOME=/mnt/jenkins/data
sed -i "s|^JENKINS_HOME=.*|JENKINS_HOME=$JENKINS_HOME|" /etc/default/jenkinsLe sed remplace la valeur de JENKINS_HOME dans le fichier de conf, par la valeur de la variable d'environnement du même nom. Le fait qu'il y ait des "/" dans cette variable ne pose pas de problème à sed car on a choisi un autre type de séparateur ("|"). Donc pas besoin d'échapper ces caractères.
"""
sed -e '/match/ s/orig/dest/'
"""
sed remplacera 'orig' par 'dest' si et seulement si il a greppé 'match' dans la ligne.
Voir aussi ces oneliners sed: http://sed.sourceforge.net/sed1line.txt (https://jeekajoo.eu/links/?bILunA)
"""
find . -type f -print0 | xargs -0 sed -i 's/before/after/g'
"""