diff options
author | Colin Watson <cjwatson@debian.org> | 2013-09-24 09:45:37 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2013-09-24 09:45:37 +0100 |
commit | b780298df35fb163c94d12d79ac8cdae474648f8 (patch) | |
tree | 02f59ccf178583d28786566bf661b02dfc426490 | |
parent | e6f85705a83814543ffe691f3335966d5e5cdae6 (diff) |
make-local-mirror: Use 'set -e' rather than '#! /bin/sh -e', to avoid
accidents when debugging with 'sh -x'.
-rw-r--r-- | debian/changelog | 7 | ||||
-rwxr-xr-x | examples/make-local-mirror | 3 |
2 files changed, 9 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index bd6200c..cb709c1 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +madison-lite (0.17) UNRELEASED; urgency=low + + * make-local-mirror: Use 'set -e' rather than '#! /bin/sh -e', to avoid + accidents when debugging with 'sh -x'. + + -- Colin Watson <cjwatson@debian.org> Tue, 24 Sep 2013 09:44:11 +0100 + madison-lite (0.16) unstable; urgency=low [ Colin Watson ] diff --git a/examples/make-local-mirror b/examples/make-local-mirror index 207c4b7..5cb6370 100755 --- a/examples/make-local-mirror +++ b/examples/make-local-mirror @@ -1,4 +1,5 @@ -#! /bin/sh -e +#! /bin/sh +set -e # This is an example of how to build a local mirror containing only the # index files, not the packages themselves. If you put something similar to |