[10:46] <wallago> Can anyone help. I am trying to configure the Terminal to change the tab name whenever i ssh to a another machine.
[10:46] <wallago> The only method i have found is editing the .bashrc on the remote server
[10:46] <wallago> but it is not practical as i have over 100 servers to configure
[10:47] <wallago> Im using Ubuntu 12.04 LTS with the default terminal
[11:52] <darkxst> lol, we really need a bot, to tell people to be !patient
[11:58] <tommie-lie> to be not patient?
[11:58] <tommie-lie> :-)
[12:22] <darkxst> tommie-lie, no, I thought that might trigger ubot, but  apparently not
[12:29] <darkxst> !patience
[12:30] <tommie-lie> darkxst: I thought it was clear that it was a pun :-P
[12:33] <darkxst> tommie-lie, that was just a test ;)
[12:34] <darkxst> but it is quite annoying when people ask questions, and you try to answer but they are gone
[12:34] <darkxst> it seems the average life-span of a newbie on IRC is about 2mins
[12:35] <tommie-lie> yes, because in times where "the Internet" is only inside the Firefox window, IRC has become too difficult for most
[13:01] <crw> good morning
[13:01] <crw> what's the best way to reinitialize your environment, without losing any application states or logging out, after gnome-shell crashes?
[13:02] <crw> sometimes it relaunches itself, sometimes it doesn't and i have to switch over to a terminal, log-in and run gnome-shell manually or restart the gdm service
[13:03] <crw> either way, sometimes i'm left without shell extensions, which is a bummer
[13:03] <crw> tweak-tool says the shell extensions are on, but they're not working
[13:29] <camelinahat> crw, try Alt+F2 and type in 'r' or 'restart' (see: https://live.gnome.org/GnomeShell/CheatSheet)
[13:30] <crw> righty-o, thanks
[13:31] <crw> gnome-shell restarted, one shell extension loaded, another didn't, another has never worked and still isn't :P
[13:31] <crw> let me investigate that link a bit
[13:32] <crw> also; sometime when gnome-shell crashes, alt-f2 doesn't work and i've gotta ctrl-alt-f1 or whatever to get to a shell to restart it
[13:32] <crw> err, sometimes*
[13:33] <crw> aha, looking glass looks cool, will have to explore that a bit
[13:36] <crw> haha yeeeeah, so Places extension is giving me an error and Systemmonitor just isn't doing anything. gonna log out and back in and see what's up
[13:37] <crw> bbiab
[13:52] <sourav> helloo guys how to install gnome 3.8 ?
[14:05] <crw> eh, looks like problems with the shell extensions themselves, i've submitted bug reports
[15:31] <dd> Is it possible to install Cinnamon on Gnome 3.8 ?