Browse Source

Make all shell scripts bash ones

To avoid bashisms :)
merge-requests/109/head
Michael Prokop 10 years ago
parent
commit
1b9b6c4368
  1. 2
      scripts/build-and-provide-package
  2. 2
      scripts/generate-git-snapshot
  3. 2
      scripts/generate-local-repository
  4. 2
      scripts/generate-reprepro-codename
  5. 2
      scripts/generate-svn-snapshot
  6. 2
      scripts/include-in-repos
  7. 2
      scripts/increase-version-number

2
scripts/build-and-provide-package

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -x
set -u

2
scripts/generate-git-snapshot

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -x
set -e

2
scripts/generate-local-repository

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -x
set -e

2
scripts/generate-reprepro-codename

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -x
set -e

2
scripts/generate-svn-snapshot

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -x
set -e

2
scripts/include-in-repos

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -x
set -u

2
scripts/increase-version-number

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
if [ "$#" -lt 1 ] ; then
echo "Usage: $0 <version_number>" >&2

Loading…
Cancel
Save