Hi Marcus,

I made point 2.
Icon now is on the desktop and running ok.
Thank you for help and for all great job on gnuradio.

Best Regards

David


Il Mer 19 Lug 2023, 18:08 David Martini <martini.david...@gmail.com> ha
scritto:

> 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