PlasmaLang / plasma

Plasma Programming Language
Other
162 stars 10 forks source link

Consider adding an uninstall process #440

Closed PaulBone closed 1 year ago

PaulBone commented 1 year ago

Uninstall is tricky. I'm not sure that this is a good idea at all. Even if we just delete the files we know about, what if before Plasma was installed there was something else called /usr/bin/plzc installed, so Plasma overwrote it, Uninstallation would just remove that. We can't (and shouldn't) attempt to be "smart" about this since it's not our place.

What if something called /usr/bin/plzc was installed after plasma was installed, then uninstalling plasma would break something else?

I think this is actually a bad idea. Instead anyone wanting to uninstall software should use a proper package manager (and package Plasma for it/request that Plasma packages are made available). Or use a tool like stow and some personal responsibility to manage installation in the /usr/local/ directory - this isn't fool-proof but it's better than nothing.