diff options
| author | Paul Wise <pabs@debian.org> | 2022-02-15 15:51:22 +0800 |
|---|---|---|
| committer | Paul Wise <pabs@debian.org> | 2022-02-15 15:54:37 +0800 |
| commit | 4f89d3629b22255963da3705e4222c71045da58a (patch) | |
| tree | 798d1795f37808356a4839d461a378f88d964744 /debian | |
| parent | 9f53670dc84d589d58b7689dc11b3ac08fd344e3 (diff) | |
bugscript: switch from bash to POSIX shell
This means Debian is one step closer to removing bash from essential.
See-also: https://salsa.debian.org/debian/grow-your-ideas/-/issues/20#note_296809
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/apt.bug-script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/apt.bug-script b/debian/apt.bug-script index c322b723b..67242f2ae 100755 --- a/debian/apt.bug-script +++ b/debian/apt.bug-script @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e cat <<EOF |