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: David Martini
Subject: Re: Gnuradio Update on ubuntu 20.04 lts
Date: Wed, 19 Jul 2023 17:28:22 +0200

Hi Marcus

No.

Regards

David

Il Mer 19 Lug 2023, 17:23 Volker Schroer <dl1ksv@gmx.de> ha scritto:
Did you run cmake with 

-DENABLE_POSTINSTALL=ON ?

— Volker 

Am 19.07.2023 um 17:16 schrieb David Martini <martini.david.p1@gmail.com>:


Hi Marcus

Thak you for answer
I don't update the the Ubuntu. Ubuntu is 20.04 lts.
Only gnuradio was update using the instruction on wiki ('InstallingGR' ) to version v3 10.7.0
Everything working ok but no icon is present. To lauch gnuradio we need to open the terminal and lauch it.
Not a big deal..but I would like to understand way.

Best Regards

David




Il Mer 19 Lug 2023, 14:32 Marcus Müller <mmueller@gnuradio.org> ha scritto:
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]