gnome-shell-extension-ddterm
gnome-shell-extension-ddterm
| gnome-shell-extension-ddterm | gnome-shell-extension-ddterm | |
|---|---|---|
| 8 | 7 | |
| 154 | 10 | |
| - | - | |
| 9.5 | 1.8 | |
| about 2 years ago | about 2 years ago | |
| JavaScript | JavaScript | |
| GNU General Public License v3.0 only | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gnome-shell-extension-ddterm
- ddterm is up again!
-
what are your top favorite gnome extension?
and can't forget spotify tray & ddterm
- GNOME drop-down terminal, really cool
- Saw this message today when I started my computer - ddterm on gnome desktop
-
Strange link in terminal
Think it's a recent update in GNOME extension ddterm: https://github.com/amezin/gnome-shell-extension-ddterm/commit/17eaf6f03cf62bdcecf4baeeb5d74167d520ce37
-
CMD, please stop clipping through your selection box.
Im also a big fan of Quake-style console (using ddterm on Linux) and I am happy to tell you that Windows Terminal has a Quake companion app that is worth a try :)
gnome-shell-extension-ddterm
-
Console 43 no transparency?
Shame. Well, at least it remembers the window size now. Sticking to ddterm as my main terminal anyway.
-
Survey: Your Favorite Apps
ddterm is a great extension. An extension in the app list? Yes, because it is basically a drop-down terminal like guake/yakuake, but it is a "Gnome extension" and has many options. I basically can't live without this.
- Gnome-console shortcut to open
-
What are some must have gnome extensions?
I think it's "drop-down terminal": https://extensions.gnome.org/extension/3780/ddterm/
- ddterm is up again!
-
this sub basically
I use Ubuntu with Gnome and don't mind Snap, btw. My primary requirement for a good experience is that I must be able to press ▤ to get a drop-down terminal (currently provided by ddterm)
-
Nooo I loved it
There is a repository available https://github.com/guilhem/gnome-shell-extension-ddterm, I really hope development will go on, ddterm is probably the most important extension for my workflow
What are some alternatives?
blur-my-shell - Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
vaults - Keep important files safe
unite-shell - Unite is an extension that makes GNOME Shell look like Ubuntu Unity Shell.
onedriver - A native Linux filesystem for Microsoft OneDrive
gnome-shell-extension-gsconnect - KDE Connect implementation for GNOME
spot - Native Spotify client for the GNOME desktop
windows-terminal-quake - Turn any app into a Quake-style toggleable app.
keepassxc - KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
argos - Create GNOME Shell extensions in seconds
mutter-rounded - A window manager for GNOME, with rounded corners patch
winget-cli - WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).
gnome-shell-scroll-workspaces - Switch workspaces by scrolling in the top panel