diff options
author | Erich Eckner <git@eckner.net> | 2017-07-04 22:09:02 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-04 22:09:02 +0200 |
commit | 55571069296aac5e4c7f286796b3aa69ac3cac5e (patch) | |
tree | ea7353a60b23555a94f87ec8041d4f006a803713 /build-support/gnupg-old/install | |
parent | 4c18d81b9854f7352ff0a40da74dc62679aade18 (diff) | |
download | packages-55571069296aac5e4c7f286796b3aa69ac3cac5e.tar.xz |
renamed gnupg to gnupg-old
Diffstat (limited to 'build-support/gnupg-old/install')
-rw-r--r-- | build-support/gnupg-old/install | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build-support/gnupg-old/install b/build-support/gnupg-old/install new file mode 100644 index 00000000..5b2169f0 --- /dev/null +++ b/build-support/gnupg-old/install @@ -0,0 +1,10 @@ +post_install() { + # See FS#42798 and FS#47371 + dirmngr </dev/null &>/dev/null || true +} + +post_upgrade() { + if [[ $(vercmp $2 2.1.13-1) = -1 ]]; then + echo "==> Please kill running gpg-agent and dirmngr processes before using this release." + fi +} |