Navigation Menu

Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Enhancement] Allow an easy way to uninstall if it was installed from source #87

Closed
cfviotti opened this issue Feb 16, 2020 · 3 comments

Comments

@cfviotti
Copy link

I see now that there is a PPA available for Ubuntu distros, and I'd wish to remove my current installation made from source in order to rely on the PPA, since I may get automatic updates now!

There is no make uninstall rule currently, and I'm not familiar with what the install rule actually did to undo the steps manually. It would be great to have that available!
Thank you!

@rodrigopedra
Copy link
Contributor

If you installed using the method described in the README, the make process might have generated a install_manifest.txt file which lists all the generated files.

Just remove all the files listed inside it and you should be fine.

I guess it might be a good idea to regenerate the plasma indices using this:

$ plasmapkg2 -g --generate-index

But that might not be needed.

One more thing: tried googling for the PPA but could not find anything about it. Mind to post the link?

@cfviotti
Copy link
Author

Thanks! I'll give it try later!
As for the PPA, it's a bit hidden in the repo itself! Check the INSTALLATION.md 😉

@rodrigopedra
Copy link
Contributor

Thanks for the heads up! Missed that somehow

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants