annotate luan/uninstall.sh @ 5:a09d8bcdc0f9

lower case repos
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 18 May 2022 00:21:44 -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`"