mchelem / terminator-editor-plugin
Terminator plugin to open files specified by a given regex in an editor
☆73Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for terminator-editor-plugin
- Terminator plugins☆25Updated 9 years ago
- Ansible module for setting GSettings entries☆47Updated 5 months ago
- Terminator terminal plugins☆50Updated 5 years ago
- Gnome Shell Extension that allows to start and stop systemd services☆79Updated 3 years ago
- A bash script to search and install extensions from extensions.gnome.org☆208Updated last year
- website☆37Updated 2 years ago
- Removes the title bar on maximised windows. See: https://extensions.gnome.org/extension/844/maximus-two/☆63Updated 6 years ago
- GNOME Shell extension. Search the web directly from Gnome Shell.☆39Updated 3 years ago
- A set of plugins for terminator.☆57Updated 7 years ago
- Export your dconf settings as an editable .sh file.☆21Updated 3 years ago
- Gnome Shell extension for displaying resource usage☆87Updated last month
- gnome shell extension that tiles windows as you like.☆204Updated 7 years ago
- Manual zsys garbage collection script.☆17Updated 3 years ago
- redshift integration for GNOME Shell☆43Updated 7 years ago
- Tracer finds outdated running applications in your system☆83Updated last week
- Dot Dot Dot☆110Updated 6 years ago
- Base16 template repository for konsole☆54Updated 6 years ago
- When is an automation tool that aims at being flexible and cross platform☆68Updated 2 months ago
- A simple color chooser written in GTK3 (like gcolor2) -- moved to GNOME GitLab☆111Updated 6 months ago
- Unity-like shortcuts for gnome dock applications☆53Updated 3 years ago
- GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12☆85Updated 4 years ago
- Automatically exported from code.google.com/p/key-mon☆97Updated 9 years ago
- Wrapper script and config files to use neovim+konsole as a normal gui text editor☆29Updated 4 years ago
- A small Python tool for shell access to GNOME keyring. It provides a simple way to query and create keyring items.☆67Updated 5 years ago
- RSS feed updates in Ubuntu, as a lightweight indicator☆38Updated 7 years ago
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.☆82Updated 10 months ago
- Systemd user units for my own session.☆101Updated 8 years ago
- [UNMAINTAINED] ZevDocs documentation browser☆31Updated 5 years ago
- Some plugins for terminator☆45Updated 5 years ago
- Dropbox extension for Caja file manager☆35Updated 9 months ago