Hi Sebastian,
> @Norbert, it's not the ideal solution no, those .desktop are not really
> good desktop applications and ideally they would be dropped in
What do you do on the Ubuntu side with say
julia.desktop
which starts a julia shell?
Similarly: ocaml, R, SageMath, ... there are quite a lot of applications
with Terminal=true?
Hide all of them in Gnome?
Best
Norbert
--
PREINING Norbert http://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1859963
Title:
Info package on Ubuntu Focal comes preinstalled with desktop file
To manage notifications about this bug go to:
https://bugs.launchpad.net/hundredpapercuts/+bug/1859963/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
