Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: dealii/publication-list
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: e77026a2e2f179c60a8a4036fbf70e917606ca73
Choose a base ref
..
head repository: dealii/publication-list
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 6d8620e9568772e8d302ea990f8abe6697c64c88
Choose a head ref
Showing with 3 additions and 3 deletions.
  1. +3 −3 Jenkinsfile
6 changes: 3 additions & 3 deletions Jenkinsfile
Original file line number Diff line number Diff line change
@@ -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 $?