http://www.omgubuntu.co.uk/2017/05/arc-new-applications-menu-gnome-shell
#linux #gnomeshell #gnome #extention #menu
#linux #gnomeshell #gnome #extention #menu
OMG! Ubuntu!
Arc is a New Applications Menu for GNOME Shell
Arc is a new applications menu for GNOME Shell. It replaces the 'Activities' button with a simple, two-panel app menu and search box.
http://www.bernaerts-nicolas.fr/linux/76-gnome/345-gnome-shell-install-remove-extension-command-line-script
#gnome #ext #cli
#gnome #ext #cli
www.bernaerts-nicolas.fr
Gnome Shell - Management of Extensions from console
This article explains how to install & remove Gnome Shell extensions from extensions.gnome.org via some console commands. It also provides a script that does all the installation/removal steps in one go. With this script, you'll be able to fully automate…