diff options
| author | Andrew Cady <d@jerkface.net> | 2016-04-29 23:35:46 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2016-04-29 23:35:46 -0400 |
| commit | 58329d4bc6e5d808dba46993c00f066455fc8da1 (patch) | |
| tree | 25a0f574167b7861925f9367828f0ff164a8029c /src/keygen.sh | |
| parent | 12a53f4d71572d62a7c4fef197d2d77347911797 (diff) | |
keygen.sh: work even if the clock is wrong
Diffstat (limited to 'src/keygen.sh')
| -rwxr-xr-x | src/keygen.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/keygen.sh b/src/keygen.sh index 926d7cf..4c13e67 100755 --- a/src/keygen.sh +++ b/src/keygen.sh | |||
| @@ -53,8 +53,9 @@ sync() | |||
| 53 | 53 | ||
| 54 | doublecheck() | 54 | doublecheck() |
| 55 | { | 55 | { |
| 56 | gpg2 --clearsign </dev/null | gpg2 --homedir "$1"/root/.gnupg --verify | 56 | local o='--ignore-time-conflict' |
| 57 | gpg2 --clearsign --homedir "$1"/root/.gnupg </dev/null | gpg2 --verify | 57 | gpg2 $o --clearsign </dev/null | gpg2 $o --homedir "$1"/root/.gnupg --verify |
| 58 | gpg2 $o --clearsign --homedir "$1"/root/.gnupg </dev/null | gpg2 $o --verify | ||
| 58 | } | 59 | } |
| 59 | 60 | ||
| 60 | silent() | 61 | silent() |