Make gnome-shell more usable

tweak.sh

#/bin/sh

# Turn on debugging, makes it clearer what is happening
set -x

# I don't want the overlay bound to Super_L, it messes with other shortcuts
gsettings set org.gnome.mutter overlay-key ''

# That huge 24-pixel notification area sucks. Whoever thought that was a good idea....
sudo sed -i -e 's/SOURCE_ICON_SIZE:\ 48,/SOURCE_ICON_SIZE:\ 24,/g' /usr/share/gnome-shell/js/ui/messageTray.js
# Be careful with this one, this line might not remain unique 
sudo sed -i -e 's/height:\ 72px;/height:\ 42px;/g' /usr/share/gnome-shell/theme/gnome-shell.css

# Having to wait a whole second before the tray pops up is rather long, too...
sudo sed -i -e 's/const\ TRAY_DWELL_TIME\ =\ 1000;/const\ TRAY_DWELL_TIME\ =\ 100;/g' /usr/share/gnome-shell/js/ui/messageTray.js

You're very welcome! Figured I wasn't the only one bothered by it :)