annotate luan/uninstall.sh @ 4:028e74c8889d

add all_users
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 May 2022 16:54:11 -0600
parents dfc36e7ed22c
children b14073ab9d07
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
1 set -e
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
2 rm -f /usr/local/bin/luan
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
3 cd `dirname $0`
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
4 echo "luan has been uninstalled"
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 echo "you can now delete `pwd`"