diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2016-02-20 14:06:18 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2016-02-20 14:06:18 +0100 |
| commit | c75b80b11e082adf1aa22f5ab83e034b462b8dbe (patch) | |
| tree | fc59929344d64d233958df4ce792a1caa76d8324 /hosts/jenkins/etc/pbuilder | |
| parent | 58c2ba0f82d3aa9f636f2d3fd595208720d9db1b (diff) | |
| download | jenkins.debian.net-c75b80b11e082adf1aa22f5ab83e034b462b8dbe.tar.xz | |
reproducible: use bash for /bin/sh in the rebuild
copied from the prebuilder bash hook.
Diffstat (limited to 'hosts/jenkins/etc/pbuilder')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment index 318390c5..5e442552 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment @@ -12,6 +12,10 @@ domainname i-capture-the-domain echo "I: Adding a custom variable just for the fun of it..." >&2 export CAPTURE_ENVIRONMENT="I capture the environment" +echo "I: Changing /bin/sh to bash" >&2 +echo "dash dash/sh boolean false" | debconf-set-selections +DEBIAN_FRONTEND=noninteractive dpkg-reconfigure dash + # temporarily disable disorderfs as we have problems properly unmounting it exit 0 |