annotate luan/uninstall.sh @ 22:e65668ff8822 default tip

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 15 Sep 2024 08:21:43 -0600
parents b14073ab9d07
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21
b14073ab9d07 update luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
1 #!/bin/bash
b14073ab9d07 update luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 0
diff changeset
2
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
3 set -e
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
4 rm -f /usr/local/bin/luan
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 cd `dirname $0`
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
6 echo "luan has been uninstalled"
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
7 echo "you can now delete `pwd`"