comparison luan/uninstall.sh @ 21:b14073ab9d07

update luan
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 14 Sep 2024 22:17:26 -0600
parents dfc36e7ed22c
children
comparison
equal deleted inserted replaced
20:8b4481769cc6 21:b14073ab9d07
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`"