- GNOME drop-down terminal, really cool https://extensions.gnome.org/extension/3780/ddterm/ 49 comments gnome
Linking pages
- GitHub - guilhem/gnome-shell-extension-ddterm: Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork of @amezin https://github.com/guilhem/gnome-shell-extension-ddterm 13 comments
- GitHub - arpanghosh8453/public-linux-config: My Linux configuration repository https://github.com/arpanghosh8453/public-linux-config 6 comments
- public-linux-config/linux_useful_package_applications.md at main · arpanghosh8453/public-linux-config · GitHub https://github.com/arpanghosh8453/public-linux-config/blob/main/linux_useful_package_applications.md 0 comments
- Top +30 Best GNOME Extensions | Nerd For Tech https://medium.com/nerd-for-tech/18-best-gnome-extensions-8e7c4f947ef5 0 comments
Related searches:
Search whole site: site:extensions.gnome.org
Search title: ddterm - GNOME Shell Extensions
See how to search.