How do you use an android tablet as a second display?This seems like a way more seamless way to do it than the Synergy trick, nice! I'm curious how the extra virtual space will interact with my tiling window manager though. Will give this a shot in a little while and report back.

Choose gcc and g++ versionThe numbers are priorities as it turns out, according to the manpage. I imagine in the case that one of the version is uninstalled it will use those priorities to determine which one should become the new default.

Remove ugly fat bazel from gnome-terminal with multiple-tabsHmm, it seems to make the bezel quite small for me in both gnome-terminal and gnome-terminator. Thanks for pointing this out! I find it kind of hilarious that even Mark Shuttleworth can post a bug to launchpad and have it not fixed 2 years later ;)

Awesome-WM inside gnome-shell -> Get rid of top panelsTo add on to that, the system tray is probably inside Awesome's wibox which is under the gnome panel, so I would disable Awesome's wibox because presumably one of the main reasons you're using Awesome inside Gnome instead of standalone is to get the gnome panel stuff.

Remove Network Settings indicator/app on Ubuntu 11.10As my post says, I installed wicd which fixed my problem, but I apparently didn't have network-manager in the first place but I don't understand how that could be the case because very occasionally it would work and connect.