view scripts/uninstall.sh @ 69:3867e9e1b94c default tip

list to_front
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 10 Jun 2025 20:47:20 -0600
parents a4a97e8c204f
children
line wrap: on
line source

#!/bin/bash
set -e

rm -f /usr/local/bin/luan_editor
echo "luan_editor has been uninstalled"