Processed (with 1 errors): Re: Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2010-11-25 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > clone 348775 -1 Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users Bug 348775 cloned as bug 604959. > reassign -1 xdg-utils 1.0.2+cvs20100307-3 Bug #604959 [general] general: terminal emulato

Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2010-11-25 Thread Jonathan Nieder
clone 348775 -1 reassign -1 xdg-utils 1.0.2+cvs20100307-3 retitle xdg-utils please introduce (sane) xdg-terminal tags -1 + upstream quit Paul Wise wrote: > In xdg-utils CVS there is an xdg-terminal script, not sure why that > isn't available in Debian yet: When no desktop is in use, it uses $TER

Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2010-11-24 Thread Paul Wise
On Thu, Nov 25, 2010 at 1:24 AM, Jonathan Nieder wrote: > . unlike browsers with $BROWSER and desktop-specific settings, there >  is no standard, cross-distro way to make a user-specific choice of >  terminal ... > To solve (2): one could introduce a TERMINAL environment variable > analogous to M

Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2010-11-24 Thread Jonathan Nieder
Hi, Simon Richter wrote: > The problem at hand is the proposed (and implemented) solution for > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=332223 . [lxterm having higher priority than konsole on KDE systems] > > I'm unconvinced that bumping the priority on the other terminal > emulators is

Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2006-01-22 Thread Loïc Minier
Hi, On Fri, Jan 20, 2006, Simon Richter wrote: > And GNOME would by default be configured to launch gnome-www-browser, > thus solving the problem for GNOME users who do not set any other > browser in gnomecc. The question for me would be whether this affects > people who use neither GNOME

Re: Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2006-01-20 Thread Simon Richter
Hello, Loïc Minier wrote: Rationale: you don't want to see konqueror launched as the default browser in GNOME but you want GNOME to be integrated with Debian. Ah, I remember that one as well. It is simple to extend this scheme with: - gnome-www-browser for browsers with GNOME support (e

Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2006-01-19 Thread Loïc Minier
Hi, On Wed, Jan 18, 2006, Simon Richter wrote: > I'm unconvinced that bumping the priority on the other terminal > emulators is an adequate solution, hence I'm opening this "general" bug > for discussion on how to reflect individual users' choices properly. We had a similar problem for G

Bug#348775: general: terminal emulators' alternatives settings' priorities annoy users

2006-01-18 Thread Simon Richter
Package: general Severity: normal -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi, The problem at hand is the proposed (and implemented) solution for http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=332223 . I'm unconvinced that bumping the priority on the other terminal emulators is an adequa