Искал и нашел. Многие ссылки в поисковиках ссылаются на ручную установку сего инструмента. Необходимо скачать пакет, установить, потом скопировать файлы в созданную папку.... в общем геморрой. Новый путь куда легче и проще:

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme