> @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
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
-- www.preining. info
PREINING Norbert http://
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13