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?
John
--
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel
