git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 225d78a)
use bash
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 28 Feb 2013 09:32:11 +0000 (10:32 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 28 Feb 2013 09:32:11 +0000 (10:32 +0100)
scripts/sfa-stable-debian.sh patch | blob | history

diff --git a/scripts/sfa-stable-debian.sh b/scripts/sfa-stable-debian.sh
index e535978..a8d176f 100755 (executable)
--- a/scripts/sfa-stable-debian.sh
+++ b/scripts/sfa-stable-debian.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # usage e.g. $0 1.0-20
 [[ -z "$@" ]] && { echo Usage $0 stable ; exit 1 ; }
 stable=$1; shift
infrastructure