It looks like you're new here. If you want to get involved, click one of these buttons!
How to uninstall the installed plug-in?
You should be able to just remove the folder from inside /apps/.
Do we also need to tell the database to DROP TABLE $apps; DELETE FROM #prefix#apps WHERE name='$app'? I was trying to reinstall an app and found this necessary for elefant to recreate the database table.
DROP TABLE $apps; DELETE FROM #prefix#apps WHERE name='$app'
That's true. To do a full cleanup, any tables would have to be removed too.
It might be good to add an ./elefant uninstall <appname> command and create an uninstall handler for apps similar to the install handler.
./elefant uninstall <appname>