GNU bug report logs - #39459
Multiple terminal programs to choose from, not just the Gnome default

Previous Next

Package: guix;

Reported by: "Scott C. MacCallum" <smaccallum <at> protonmail.com>

Date: Thu, 6 Feb 2020 20:21:01 UTC

Severity: normal

Done: Michael Rohleder <mike <at> rohleder.de>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Leo Prikler <leo.prikler <at> student.tugraz.at>
To: smaccallum <at> protonmail.com
Cc: 39459 <at> debbugs.gnu.org
Subject: bug#39459: Multiple terminal programs to choose from, not just the Gnome default
Date: Thu, 06 Feb 2020 23:57:51 +0100

That's not a bug, but a feature.  Unless desktop files are written in a
way that they're excluded in some DE (using a custom key to do so, mind
you), all DEs will show the item.  You can "fix" this behaviour by
installing just what you want ;)
This bug report was last modified 5 years and 66 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.