sed
Remplacer “slash” par “antislash slash” (”/” par “\/”):
echo $PWD | sed -e "s#/#\\\\\/#g" (en ligne de commande sed -e "s#/#\\/#g" est suffisant)
Pour supprimer les espaces en début de ligne avec sed
sed -e "s/^ *//g"
Pour remplacer abs( par fabs( dans tous les fichiers .cc
for i in *.cc; do sed ’s/ abs(/ fabs(/g’ $i > $i.tmp [...]