sudo add-apt-repository ppa:tualatrix/ppa (maybe dont need)
sudo apt-get install gnome-tweak-tool
sudo apt-get install gnome-shell-extension-autohidetopbar
sudo add-apt-repository ppa:tualatrix/ppa (maybe dont need)
sudo apt-get install gnome-tweak-tool
sudo apt-get install gnome-shell-extension-autohidetopbar