[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