HazyResearch / deepdive

DeepDive
deepdive.stanford.edu
1.95k stars 543 forks source link

uninstaller #684

Open JotaPin opened 5 years ago

JotaPin commented 5 years ago

Dear all, A rather simple question I hope: how do you uninstall deepdive when it was used with the option 1 "1) deepdiveof" in git.io/getdeepdive, under ubuntu?

Simply by deleteting ddlog, deepdive, mindbender in ~/local/bin will leave a lot of other files? (I do not mind leaving the .deb dependencies installed however). Thanks in advance, Jota Pin