Gnome 3 extensions
Some extensions I use: dash-to-panel (as dash-to-dock no longer behaves reliably for me) frippery move clock GSconnect mailnag TopIcons Plus Workspace Buttons
Archive of posts tagged gnome
Gnome 3.30 on Arch Linux not ready for use
It seems that the version of Gnome 3.30 on Arch is so unstable with such poor plugin support (despite what the Gnome developers think, tray icons are still required, Gnome is not the only DE available) that I strongly recommend against using it for now. I’ve gone back to the comforting embrace of XFCE. Maybe …
Continue reading ‘Gnome 3.30 on Arch Linux not ready for use’ »
Set terminal title to hostname when using screen
Put this in ~/.bashrc if [[ $TERM = “screen” ]]; then SHORTHOST=$(hostname -s) NEW_TITLE=”\033]0;${SHORTHOST}\007″ echo -ne “\033P${NEW_TITLE}\033\\” fi With help from here Can probably do this at screen startup rather than in each bash…
Empathy on Ubuntu 12.10 / 13.04 is enormous!
The contactlist on empathy has swollen and in the name of Gnome “advanced” preferences for a compact size have been removed! Not happy, moving back to Pidgin.
Use proxy.pac with chrome & XFCE
gconftool-2 -R /system/http_proxy gconftool-2 -s /system/http_proxy/use_http_proxy -t bool true gconftool-2 -s /system/http_proxy/autoconfig_url -t string http://server.com/proxy.pac