> Tried clean install from tasksel and install xterm instead
> gnome-terminal, after install gnome-terminal is still showed in menu and
Ok, so that debunkes the claim that it is *not* shown in the Cinnamon
menu/favorites.
> favorites so gnome-terminal can be maintained as default but must found
> a way to install it instead of xterm. From a fast search I not found why
> and where install it. @Norbert: any idea?
What do you mean?
As far as I can see, gnome-terminal should be automatically installed.
task-cinnamon-desktop depends on cinnamon-desktop-environment
cinnamon-desktop-environment depends on
gnome-terminal | x-terminal-emulator
So by default, gnome-terminal should be installed ...
I really don't see why this shouldn't suffice, and why it didn't show up
in Paul's setup?
Best
Norbert
--
PREINING Norbert https://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
