Eimji / gnome-shell-extension-scriptproxiesLinks
The Gnome Shell extension 'Script your Proxies' allows you to enable a network proxy by simply using a script.
☆9Updated 8 years ago
Alternatives and similar repositories for gnome-shell-extension-scriptproxies
Users that are interested in gnome-shell-extension-scriptproxies are comparing it to the libraries listed below
Sorting:
- Gnome Shell Extension that allows to start and stop systemd services☆79Updated 4 years ago
- gnome shell extension that tiles windows as you like.☆203Updated 7 years ago
- ☆26Updated 5 years ago
- A bash script to search and install extensions from extensions.gnome.org☆206Updated 2 years ago
- A set of post-installation shell scripts for Fedora☆132Updated 6 years ago
- AppIndicator for KDE Connect☆118Updated 9 years ago
- DEPRECATED: Switched to KDE, so goodbye friends. Toggling services, launching apps in one click.☆40Updated 5 years ago
- KDE Connect/MConnect integration for Gnome Shell☆150Updated 7 years ago
- GNOME Shell Extension TaskBar☆152Updated 3 years ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆375Updated 6 years ago
- Markdown support for the gedit text editor, with live preview and export tools☆131Updated 2 months ago
- Nautilus/Nemo extension to add important information about the current git directory☆149Updated 6 years ago
- Gnome-shell extension disabling hotcorners☆90Updated 4 years ago
- An Apple's TimeMachine clone for Linux☆179Updated 6 years ago
- Gnome Shell extension for folders synchronization.☆13Updated 7 years ago
- Arc Theme integration for Thunderbird☆120Updated 5 years ago
- The linux desktop application for todoist☆186Updated 2 years ago
- Various installation & administration scripts for Ubuntu workstation☆187Updated 2 months ago
- A highly customizable chameleon theme for Gnome Shell☆118Updated 10 years ago
- Taskwhisperer is a extension for TaskWarrior Application https://taskwarrior.org. It is to display upcoming tasks and task details as wel…☆148Updated 9 months ago
- An gnome-shell extension that makes window movement a lot easier.☆288Updated last week
- An extension for gnome shell that will change the screen brightness when the machine is running on battery power☆17Updated 2 years ago
- Apt Update Indicator☆46Updated 2 years ago
- An Electron wrapper of Spotify Web Player to increase desktop integration for a stable Spotify Player for Linux replacement☆204Updated 8 years ago
- Nuvola Player - Tight integration of web-based media streaming services with your desktop☆332Updated 3 years ago
- A Gnome icon theme to match the Vertex Gtk theme☆179Updated 4 years ago
- Emoji picker for Ubuntu based on icons by Emojione☆238Updated 3 years ago
- Nuntius delivers notifications from your phone or tablet to your computer☆214Updated 6 years ago
- GNOME 3 theme for Firefox (previously known as Adwaita)☆253Updated 5 years ago
- Better touchpad gesture handling for GNOME☆300Updated 4 years ago