do not escape anything.

dealii · Feb 13, 2023 · 86e7f3d · 86e7f3d
1 parent fbcf7da
commit 86e7f3d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -68,10 +68,10 @@ pipeline
             // sort entries and check if files have changed:
             sh '''
               for f in publications-*.bib ; do \
-                sed -i \'s/\% Encoding: US-ASCII//\' $f ; \
+                sed -i 's/% Encoding: US-ASCII//' $f ; \
                 bibtool -r bibtool.rsc -i ./$f -o ./$f || exit 1 ; \
-                sed -i \'1s/^/\% Encoding: US-ASCII\n/\' $f ; \
-                sed -i \'$s/$/\n\n\@Comment{jabref-meta: databaseType:bibtex;}/\' $f ; \
+                sed -i '1s/^/\% Encoding: US-ASCII\n/\' $f ; \
+                sed -i '$s/$/\n\n\@Comment{jabref-meta: databaseType:bibtex;}/' $f ; \
               done
               git diff
               git diff-files --quiet || exit $?