Bug#918917: Please add Firefox to the favorites

[Norbert Preining <norbert@preining.info>]

> 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