changeset 1126:ffb47187f02f

minor - uninstall.sh
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 26 Nov 2017 14:48:28 -0700
parents 442abdfff437
children 5c99a3c0f882
files scripts/uninstall.sh
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
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`"