Official Way To Automatically Uninstall

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

95 stars 24 forks source link

Official Way To Automatically Uninstall #294

Closed jgarte closed 3 weeks ago

jgarte commented 1 month ago

Hi,

Is there an official way to uninstall pack that is automated?

stefan-hoeck commented 1 month ago

Currently there is neither an "official" nor an automated way. Since pack installs all its stuff in $PACK_DIR (which defaults to $HOME/.pack), it is enough to just delete that directory.