Merge "Set -o pipefail new scripts"

2014-05-27 18:54:57 +00:00 · 2014-05-27 18:54:57 +00:00 · e71e8efb51
commit e71e8efb51
parent 76c59bfbde 79464cf00f
3 changed files with 3 additions and 0 deletions
--- a/elements/debian/bin/map-services
+++ b/elements/debian/bin/map-services
@ -1,5 +1,6 @@
 #!/bin/bash
 set -eu
+set -o pipefail

 # For Debian map-services is currently a noop
 # We pass through the service name directly
--- a/elements/fedora/pre-install.d/01-set-fedora-mirror
+++ b/elements/fedora/pre-install.d/01-set-fedora-mirror
@ -1,6 +1,7 @@
 #!/bin/bash

 set -eu
+set -o pipefail

 DIB_DISTRIBUTION_MIRROR=${DIB_DISTRIBUTION_MIRROR:-}

--- a/elements/ubuntu/bin/map-services
+++ b/elements/ubuntu/bin/map-services
@ -1,5 +1,6 @@
 #!/bin/bash
 set -eu
+set -o pipefail

 # For Ubuntu map-services is currently a noop
 # We pass through the service name directly