summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorruki <[email protected]>2016-07-02 15:27:00 +0800
committerruki <[email protected]>2016-07-02 15:27:00 +0800
commitaf3465afb3f509904099170b986f46937784b3e5 (patch)
tree0c126f336fc1c13ce85043db0df3e4c96135802e
parentce13439bc03a2284975f0a8da56bba571798b39d (diff)
improve install script for
-rwxr-xr-xinstall9
1 files changed, 7 insertions, 2 deletions
diff --git a/install b/install
index ff67f9899..9b863fccf 100755
--- a/install
+++ b/install
@@ -8,9 +8,9 @@ verbose=
#verbose=-v
# prefix
-if [ -d "/usr/local" ]; then
+if [[ "$PATH" =~ "/usr/local/bin" ]]; then
prefix=/usr/local
-elif [ -d "/usr" ]; then
+else
prefix=/usr
fi
if [ $1 ]; then
@@ -115,5 +115,10 @@ if [ $? -ne 0 ]; then
exit;
fi
+# tip
+if [[ ! "$PATH" =~ "$prefix/bin" ]]; then
+ echo 'please export PATH=$PATH:'"$prefix/bin"
+fi
+
# ok
echo ok!