comparison scripts/uninstall.sh @ 1786:bda4ec615c5b

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 10 Dec 2023 21:17:21 -0700
parents ffb47187f02f
children
comparison
equal deleted inserted replaced
1785:39d2be9784ab 1786:bda4ec615c5b
1 #!/bin/bash
2
1 set -e 3 set -e
2 rm -f /usr/local/bin/luan 4 rm -f /usr/local/bin/luan
3 cd `dirname $0` 5 cd `dirname $0`
4 echo "luan has been uninstalled" 6 echo "luan has been uninstalled"
5 echo "you can now delete `pwd`" 7 echo "you can now delete `pwd`"