From: Elliott Mitchell <ehem+debian@m5p.com>
Date: Fri, 17 Jul 2020 06:37:42 +0000 (-0700)
Subject: d/shuffle-binaries: Switch to POSIX shell, instead of Bash
X-Git-Tag: archive/raspbian/4.14.1+11-gb0b734a8b3-1+rpi1^2~45
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=81ff4413bd483e83a0b16dca7f9ab2191f609aa7;p=xen.git

d/shuffle-binaries: Switch to POSIX shell, instead of Bash

While bash is great for an interactive shell, sh is more lightweight and
portable and is more suited for scripts that need to be executed fast
and do not require user-friendly interaction with an end user.

Drop pipefail, since it has less value now that the inner loop of the
script has been simplified.

Signed-off-by: Elliott Mitchell <ehem+debian@m5p.com>
Acked-by: Hans van Kranenburg <hans@knorrie.org>

[Hans van Kranenburg]
Reduce usage of dramatic language in commit message
---

diff --git a/debian/shuffle-binaries b/debian/shuffle-binaries
index f50ffd2d75..d49bc7469c 100755
--- a/debian/shuffle-binaries
+++ b/debian/shuffle-binaries
@@ -1,6 +1,5 @@
-#!/bin/bash
+#!/bin/sh
 set -e
-set -o pipefail
 
 version="$1"; shift