OS Menu

A useless but fancy GNOME Shell extension showing a logo in the system status bar.

When clicked the system "About" page will be opened.

Building and Installing

To clone the repository execute:

$ git clone https://github.com/rovellipaolo/gnome-shell-extension-osmenu
$ cd gnome-shell-extension-osmenu

To build the extension execute:

$ make build

NOTE: This will create a zip archive named osmenu@rovellipaolo-gmail.com.shell-extension.zip.

To install the extension execute:

$ make install

NOTE: This will unzip the previously builded zip archive into ~/.local/share/gnome-shell/extensions/osmenu@rovellipaolo-gmail.com.

Afterwards, restart GNOME Shell: press Alt+F2, type r and press enter.

Finally, if not already done, enable the extension at: https://extensions.gnome.org Or, alternatively, to enable the extension execute:

$ make enable

While to disable the extension execute:

$ make disable

To customize and change the logo, just replace the icon.svg file with the one of your choice.

The included icon was created by Aha-Soft and published under the Creative Commons (Attribution 3.0 Unported) terms: https://www.iconfinder.com/icons/401276/gnome_icon

There you can find also distro-specific icons, such as:

To run the checkstyle execute:

$ make checkstyle

NOTE: This is using eslint under-the-hood.

To show GNOME Shell logs execute:

$ make show-logs