setenv: warn that the script is meant to be sourced, not executed
authorAntonio Ospite <ospite@studenti.unina.it>
Wed, 11 Sep 2013 20:51:08 +0000 (22:51 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Wed, 11 Sep 2013 20:51:08 +0000 (22:51 +0200)
setenv

diff --git a/setenv b/setenv
index 5b85830..e5c51a5 100644 (file)
--- a/setenv
+++ b/setenv
@@ -1,4 +1,6 @@
 #!/bin/sh
 #!/bin/sh
-# This file is meant to be sourced, not executed.
+
+[ "$0" = "$(basename $SHELL)" ] || { echo "This script is meant to be sourced, not executed" 1>&2; exit 1; }
+
 export ANDROID_HOME=$HOME/Android/android-sdk-linux
 export PATH=$PATH:$ANDROID_HOME/platform-tools:$ANDROID_HOME/tools
 export ANDROID_HOME=$HOME/Android/android-sdk-linux
 export PATH=$PATH:$ANDROID_HOME/platform-tools:$ANDROID_HOME/tools