Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/zzrough/gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
https://github.com/zzrough/gs-extensions-drop-down-terminal
Last synced: 17 days ago
JSON representation
Drop Down Terminal extension for the Gnome Shell
- Host: GitHub
- URL: https://github.com/zzrough/gs-extensions-drop-down-terminal
- Owner: zzrough
- License: gpl-3.0
- Created: 2012-09-04T22:34:12.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2021-07-07T15:52:27.000Z (over 3 years ago)
- Last Synced: 2024-07-31T22:45:18.713Z (3 months ago)
- Language: JavaScript
- Homepage: https://extensions.gnome.org/extension/442/drop-down-terminal/
- Size: 948 KB
- Stars: 416
- Watchers: 18
- Forks: 90
- Open Issues: 123
-
Metadata Files:
- Readme: README.md
- License: COPYING
Awesome Lists containing this project
README
gs-extensions-drop-down-terminal
================================Drop Down Terminal extension for the Gnome Shell
Screenshots
-----------### Terminal
![Terminal](https://github.com/zzrough/gs-extensions-drop-down-terminal/raw/master/screenshot-term.png)### Preferences
![Preferences](https://github.com/zzrough/gs-extensions-drop-down-terminal/raw/master/screenshot-prefs-1.png)
![Preferences](https://github.com/zzrough/gs-extensions-drop-down-terminal/raw/master/screenshot-prefs-2.png)Additional shortcuts
--------------------On top of the main shortcut to display/hide the terminal, there are additional shortcuts that can not be changed:
* Ctrl-Shift-C: copy
* Ctrl-Shift-V: pasteAdditional configuration and tips
---------------------------------See the wiki [for more configuration and tips](https://github.com/zzrough/gs-extensions-drop-down-terminal/wiki).
Bug reporting
-------------Use the [Github issue tracker](https://github.com/zzrough/gs-extensions-drop-down-terminal/issues) to report issues
or ask for features **matching the vision** of this extension, in the next paragraph.Vision
------I want a terminal that fits in the gnome-shell spirit: elegant, fast, simple, straight to the point.
It is an extension (easy to install), it provides a nice default shortcut, a fast, but non-disruptive animation,
does not consume anything if never used, etc. but **it will not get all the features of gnome-terminal**, that really is
not the point. Use guake or yakuake instead if you want a full-fledged equivalent (albeit looking less integrated).Of course, I'm opened to suggestions, but please do not ask for ultra advanced settings nobody will ever need,
the code is already complex enough for reviewers to handle.The only "controversial" feature I'm enclined to add at this point is multiple tabs support, because I myself am
used to it, but even I can open a gnome-terminal with multiple tabs already for long working sessions: that
complements this extension quite well. But it will not impact regular users with no tab: the terminal must remain
slick by default.As a side note, a lot of things can **not** be done with bindings and thus extensions.