Op 22-11-2020 om 17:53 schreef Fabio Fantoni:
cinnamon-desktop-environment actually have gnome-terminal as default
Hmm, you are right. But the menu does not show it. Maybe because of: OnlyShowIn=GNOME;Unity; in /usr/share/applications/org.gnome.Terminal.desktop So maybe better to use another terminal?
you can install any of the 22 terminal that provide xfce4-terminal (and remove gnome-terminal if already instealled) without broke/remove cinnamon-desktop-environment metapackage if you want
I need a good terminal to do that ;-) With regards, Paul -- Paul van der Vlis Linux systeembeheer Groningen https://www.vandervlis.nl/