Eu resolvi isso usando Maximus .
Para versões mais recentes do gnome (> 3.8), talvez seja necessário edite metadata.json para corresponder a este pedido de pull e instale manualmente a extensão. Instruções tiradas da página inicial do maximus com algumas edições:
hg clone ssh://[email protected]/mathematicalcoffee/maximus-gnome-shell-extension
hg up gnome3.4 # or 'stable' if on GNOME 3.2
cd maximus-gnome-shell-extension
# NOW OPEN AND EDIT THE OUTDATED metadata.json FILE. See link above.
make # <-- VERY IMPORTANT
cp -r [email protected] ~/.local/share/gnome-shell/extensions
# enable maximus if you haven't already:
gnome-shell-extension-tool -e [email protected]
Restart gnome-shell.