[Pkg-jed-commit] [SCM] Debian packaging of JED branch, master, updated. 1%3A0.99.18+dfsg.1-10-15-g0b309bd
Rafael Laboissiere
rafael at debian.org
Sun Apr 26 08:54:48 UTC 2009
The following commit has been merged in the master branch:
commit 07834a3e37ebecd4dbf141203c82717148c33079
Author: Rafael Laboissiere <rafael at debian.org>
Date: Sun Apr 26 10:06:29 2009 +0200
Add the -e flag to the prerm scripts
diff --git a/debian/changelog b/debian/changelog
index 1a3a7d5..de3f29e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -16,6 +16,9 @@ jed (1:0.99.18+dfsg.1-11) UNPUBLISHED; urgency=medium (?)
>= 7 and adjust the compatibility level accordingly (fix Lintian
warning) [RL]
* debian/control: Add Günter Milde to the list of Uploaders [RL]
+ * debian/jed.prerm, debian/xjed.prerm: Set the -e flag which ensures
+ that the script's execution is aborted when any executed command
+ fails (fix Lintian warning) [RL]
-- Günter Milde <milde at users.sf.net> Mon, 10 Nov 2008 14:53:34 +0100
diff --git a/debian/jed.prerm b/debian/jed.prerm
index 4fa9ab0..8285743 100644
--- a/debian/jed.prerm
+++ b/debian/jed.prerm
@@ -1,5 +1,7 @@
#!/bin/sh
+set -e
+
update-alternatives --remove editor /usr/bin/jed
update-alternatives --remove jed-script /usr/bin/jed
diff --git a/debian/xjed.prerm b/debian/xjed.prerm
index 1ddd2a3..d0296f4 100644
--- a/debian/xjed.prerm
+++ b/debian/xjed.prerm
@@ -1,5 +1,7 @@
#!/bin/sh
+set -e
+
update-alternatives --remove jed-script /usr/bin/xjed
update-alternatives --remove editor /usr/bin/xjed
--
Debian packaging of JED
More information about the Pkg-jed-commit
mailing list