diff options
author | Micah Lee <micah@micahflee.com> | 2015-05-15 13:15:49 -0700 |
---|---|---|
committer | Micah Lee <micah@micahflee.com> | 2015-05-15 13:15:49 -0700 |
commit | 577ff2c8abd2e36947feadb616fcd032fa2c8414 (patch) | |
tree | ad95daa7077137dbde5d092bfb64c57704b18f01 | |
parent | a8bad1880d282e56d8e0ac186bd36a5f0a416db8 (diff) | |
download | onionshare-577ff2c8abd2e36947feadb616fcd032fa2c8414.tar.gz onionshare-577ff2c8abd2e36947feadb616fcd032fa2c8414.zip |
making build scripts use bash instead of sh (#181)
-rwxr-xr-x | install/build_deb.sh | 2 | ||||
-rwxr-xr-x | install/build_rpm.sh | 2 | ||||
-rwxr-xr-x | install/ppa_release.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/install/build_deb.sh b/install/build_deb.sh index 6201cb8c..1def5a19 100755 --- a/install/build_deb.sh +++ b/install/build_deb.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )" cd $DIR diff --git a/install/build_rpm.sh b/install/build_rpm.sh index 7f9d260a..67612b53 100755 --- a/install/build_rpm.sh +++ b/install/build_rpm.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && cd .. && pwd )" cd $DIR diff --git a/install/ppa_release.sh b/install/ppa_release.sh index ff369a95..859d1826 100755 --- a/install/ppa_release.sh +++ b/install/ppa_release.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # This script pushes updates to my Ubuntu PPA: https://launchpad.net/~micahflee/+archive/ppa # If you want to use it, you'll need your own ~/.dput.cf and ssh key. |