diff scripts/uninstall.sh @ 1126:ffb47187f02f

minor - uninstall.sh
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 26 Nov 2017 14:48:28 -0700
parents 9e9bb358b2df
children bda4ec615c5b
line wrap: on
line diff
--- a/scripts/uninstall.sh	Thu Aug 24 14:03:36 2017 -0600
+++ b/scripts/uninstall.sh	Sun Nov 26 14:48:28 2017 -0700
@@ -1,4 +1,5 @@
-rm /usr/local/bin/luan
+set -e
+rm -f /usr/local/bin/luan
 cd `dirname $0`
 echo "luan has been uninstalled"
 echo "you can now delete `pwd`"