On Tue, 2012-06-26 at 10:20 -0400, John Ellson wrote:
On 06/26/2012 06:54 AM, Pádraig Brady wrote:
> The main caveat with per terminal settings is that
> it might be desired to provide config options per terminal.
> Though I suppose users can always override TERM in their
> startup files in the unlikely case they need to change
> back to 'xterm' for example.
"Unlikely" Pffft!! What else do you resort to every time
gnome-terminal won't start because dbus has crashed?
One never hits that scenario, because:
a) gnome-terminal runs just fine without dbus (unset
DBUS_SESSION_BUS_ADDRESS and run with --disable-factory to verify)
b) when dbus crashes, so does gnome-session, so there's really no
question of launching another terminal
- ajax