diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2017-05-22 20:50:41 +0100 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-05-22 20:58:47 +0100 |
commit | 071b57dd4df5e894269b7b0c87596a8a9b1d8d9d (patch) | |
tree | bf70118bbebf978efa5159b063d63ab3cf6e22fd | |
parent | 5899c118259f434fc43def3648bda6dfb7b30a8f (diff) | |
download | debug-me-071b57dd4df5e894269b7b0c87596a8a9b1d8d9d.tar.gz |
use dh-exec to properly rename debug-me developers' keyring
-rw-r--r-- | debian/changelog | 2 | ||||
-rw-r--r-- | debian/control | 1 | ||||
-rwxr-xr-x[-rw-r--r--] | debian/debug-me.install | 5 |
3 files changed, 6 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index c0dfee9..73622b0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,8 @@ debug-me (1.20170520-1) UNRELEASED; urgency=medium * New upstream release. * Install debug-me developers' keyring into /usr/share/debug-me/keyring. + - New build-dep on dh-exec + - d/debug-me.install now executable * Symlink some Debian keyrings into /usr/share/debug-me/keyring. * Recommend debian-keyring package. diff --git a/debian/control b/debian/control index 2461635..6adb05e 100644 --- a/debian/control +++ b/debian/control @@ -3,6 +3,7 @@ Maintainer: Sean Whitton <spwhitton@spwhitton.name> Priority: optional Section: net Build-Depends: debhelper (>= 10), + dh-exec, ghc, libghc-aeson-dev (>= 0.11), libghc-aeson-dev (<< 1.1), diff --git a/debian/debug-me.install b/debian/debug-me.install index ab9bef7..c1e7c52 100644..100755 --- a/debian/debug-me.install +++ b/debian/debug-me.install @@ -1,2 +1,3 @@ -dist/build/debug-me/debug-me usr/bin -developer-keyring.gpg usr/share/debug-me/keyring/a_debug-me_developer.gpg +#!/usr/bin/dh-exec +dist/build/debug-me/debug-me => /usr/bin/debug-me +developer-keyring.gpg => /usr/share/debug-me/keyring/a_debug-me_developer.gpg |