view luan/uninstall.sh @ 32:4930c7b51ac7 default tip

revert
author Violet7
date Tue, 19 May 2026 02:45:21 -0700
parents b14073ab9d07
children
line wrap: on
line source

#!/bin/bash

set -e
rm -f /usr/local/bin/luan
cd `dirname $0`
echo "luan has been uninstalled"
echo "you can now delete `pwd`"