Hi Marcus

Thanks a lot!

Best Regards

David

Il Mer 19 Lug 2023, 17:41 Marcus Müller <mmuel...@gnuradio.org> ha scritto:

> Hi David,
>
> so, reporting back: fresh installation on a freshly set up Ubuntu 20.04
> does indeed not
> install /usr/share/applications/gnuradio-grc.desktop
>
> Possible "hotfix" solutions:
>
> 1. run full "gnuradio-companion" from wherever you start programs; that
> should work without
> 2. put the attached file into your home (~) in the dirctory
> ~/.local/share/applications/ ,
> run (once)
> update-desktop-database ~/.local/share/applications
>
> Best regards,
> Marcus
>
> On 19.07.23 17:35, Marcus Müller wrote:
> > Hi David,
> >
> > are you *sure* it's 3.10.5? It really should be 3.10.7.0 now, that's the
> latest update we
> > made, and it literally came out this week.
> >
> > I'm currently running the installation
> >
> > sudo add-apt-repository ppa:gnuradio/gnuradio-releases
> > sudo apt-get update
> > sudo apt-get install gnuradio python3-packaging
> >
> > (that's what you did, right? If you were on the native Ubuntu packaging,
> you'd be getting
> > GNU Radio 3.8 on Ubuntu 20.04)
> >
> > I'll report back after.
> >
> > Best regards,
> > Marcus
> >
> >
> > On 19.07.23 14:32, Marcus Müller wrote:
> >> 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