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 Desktop Bugs, which is subscribed to the bug report. 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs