diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2018-12-03 03:20:51 +0100 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2018-12-03 03:43:41 +0100 |
| commit | f01876604da167b36780e53ce54cd89c8f9d5f85 (patch) | |
| tree | 3f6ff06994e56617a09949c226153aa7de80aff2 | |
| parent | dcdb8cd6b1b525fc8eacd509586da3396c068251 (diff) | |
certs/gencerts.sh: wibble
| -rwxr-xr-x | certs/gencerts.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/certs/gencerts.sh b/certs/gencerts.sh index 576d9ae..b25a7d3 100755 --- a/certs/gencerts.sh +++ b/certs/gencerts.sh @@ -5,8 +5,6 @@ PATH=/usr/bin:/bin if [ -n "${GNUPGBIN:-}" ]; then GPG="$GNUPGBIN" -elif [ -x /usr/bin/gpg2 ]; then - GPG=/usr/bin/gpg2 else GPG=gpg fi @@ -168,7 +166,7 @@ allfpr mdwn >>"$mdwn2" echo >>"$src2" -if diff -u --label "a/${asc%.asc}" --label "b/${asc%.asc}" -- "$src" "$src2" && +if diff -u --color=auto --label "a/${asc%.asc}" --label "b/${asc%.asc}" -- "$src" "$src2" && diff -q -- "$mdwn" "$mdwn2" >/dev/null; then echo 'The fingerprint list is up to date.' else |