discuss-gnuradio
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Gnuradio Update on ubuntu 20.04 lts


From: Marcus Müller
Subject: Re: Gnuradio Update on ubuntu 20.04 lts
Date: Wed, 19 Jul 2023 14:32:21 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.12.0

Hi David!

Thanks for reaching out; couldn't find time to answer you yesterday.

So, in best engineering manner, let's check a few assumptions with you:

- I'm interpreting your "routine update as "I updated Ubuntu 20.04 to Ubuntu 23.04", because that's the only version of Ubuntu that I'm aware of that ships GNU Radio 3.10.5.

- I'm interpreting your "icon of gnuradio" as the GNU Radio companion launcher icon that you get (for example, if you're on Gnome desktop, by pressing the "windows" key and starting to type gnuradio).

Are these assumptions correct?
Which desktop are you using? If that's unclear, I think we could work with a screenshot of where you expect the icon to be.

So, I just checked¹, and the Ubuntu 23.04 package still installs the gnuradio-grc.desktop file which *should* make any modern desktop environment list GNU Radio companion in its launchable programs, hence my confusion.
I compared the desktop files themselves, and they haven't changed.

Best,
Marcus

——————————————————————————————————————————————————————————————————
¹ that means I went to packages.ubuntu.com, looked up the `gnuradio` package in both the version from Ubuntu 20.04 (focal) and the version from Ubuntu 23.04 (lunar), got the "list of files" for amd64 (bottom of the package page), and compared these using `comm -3`.

On 18.07.23 15:25, David Martini wrote:
Hi all

After a routine update of ubuntu 20.04 (gnuradio was also in the list of sw update) the icon of gnuradio disappeared.
The gnuradio start properly from terminal.
The gnuradio is 3.10.5.
Any help?

Thanks

David Martini




reply via email to

[Prev in Thread] Current Thread [Next in Thread]