mirror of
https://github.com/google/brotli.git
synced 2026-07-08 17:56:58 +00:00
The make is missing an uninstall option #306
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @AsharLohmar on GitHub (Jan 25, 2020).
That's it, don't ask why I'd need it.
@eustas commented on GitHub (Jan 27, 2020):
Hello. Could you check, please, it
xargs rm < install_manifest.txtdoes what you want?@AsharLohmar commented on GitHub (Jan 27, 2020):
Hi
it comes very close to a perfect uninstall.
Unless you've passed a
--prefixpointing to a "personal" destination or you are running as root, you mustsudothemake install, for this reason thermshould also be "sudoed"Anyway, the removal removes all the files
but leaves behind an empty folder
@eustas commented on GitHub (Jul 10, 2023):
make build is dropped