On Wed, 12 Feb 2020 15:04:49 -0800 Laura Arjona <[email protected]> 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
