Mercurial Hosting > editor
view scripts/uninstall.sh @ 54:dcd7d082196f default tip
minor
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Sun, 25 May 2025 15:09:49 -0600 |
parents | c433b19a8dfa |
children |
line wrap: on
line source
#!/bin/bash set -e rm -f /usr/local/bin/luan_editor cd `dirname $0` echo "luan_editor has been uninstalled" echo "you can now delete `pwd`"