On Wed, 12 Feb 2020 15:04:49 -0800
Laura Arjona <arjonal@uw.edu> wrote:
> sorry, typed it wrong
> ~$ which gnradio-config-info
> /usr/local/bin/gnuradio-config-info
In which case you have built and installed gnuradio in the /usr/local
prefix by hand, not as a package you can install and uninstall using
your distribution's package manager.
You should be able to go through /usr/local and delete anything
gnuradio related. Then install your distribution's binary package
of gnuradio using its package manager. Unless you are a person who
likes to do their own compiling, there shouldn't be much in /usr/local.
Chris
No comments:
Post a Comment