scripts/get-repository.sh: use portable /bin/sh

Signed-off-by: J <offlineimap@927589452.de>
Signed-off-by: Nicolas Sebrecht <nicolas.s-dev@laposte.net>
This commit is contained in:
Jens Heinrich 2017-01-30 14:59:36 +01:00 committed by Nicolas Sebrecht
parent 2c77e00946
commit 7c7d693bd5
2 changed files with 15 additions and 5 deletions

View File

@ -1,4 +1,4 @@
#!/usr/bin/env bash #!/bin/sh
# #
# Licence: this file is in the public domain. # Licence: this file is in the public domain.
# #
@ -10,7 +10,7 @@ github_remote=$2
# #
# TODO # TODO
# #
function final_note () { final_note () {
cat <<EOF cat <<EOF
Now, you can fork the repository into Github from $2 Now, you can fork the repository into Github from $2
@ -22,7 +22,7 @@ and add a reference to it in your local copy:
EOF EOF
} }
function setup () { setup () {
target_dir=$1 target_dir=$1
remote_url=$2 remote_url=$2
@ -49,7 +49,7 @@ function setup () {
fi fi
} }
function configure_website () { configure_website () {
renderer='./render.sh' renderer='./render.sh'
echo "Found Github username: '$1'" echo "Found Github username: '$1'"
@ -65,7 +65,7 @@ function configure_website () {
fi fi
} }
function configure_wiki () { configure_wiki () {
: # noop : # noop
} }

View File

@ -0,0 +1,10 @@
diff a/scripts/get-repository.sh b/scripts/get-repository.sh (rejected hunks)
@@ -1,6 +1,6 @@
-#!/bin/bash
+#!/bin/sh
#
-# Licence: this file is in the public deomain.
+# Licence: this file is in the public domain.
#
# Download and configure the repositories of the website or wiki.