Tried clean install from tasksel and install xterm instead gnome-terminal, after install gnome-terminal is still showed in menu andOk, 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?
I also thinked was ok but test confimed that after cinnamon install from tasksel xterm is installed and gnome-terminal not, I suppose something install xterm before and when arrives to "gnome-terminal | x-terminal-emulator" is already satisfied with xterm (that provides x-terminal-emulator)
I checked for example gnome task where gnome-terminal is installed and gnome-terminal is dep without alternative in gnome-core.
Possible workaround probably is put gnome-terminal as recommends in cinnamon-core (that should install it and also make possibile remove it without remove the meta package. I don't know anything better at the moment.
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