Drop Down Terminal - GNOME Shell Extensions - discu.eu

Reddit

Drop Down Terminal - GNOME Shell Extensions (how have i missed that? it's smoother than guakeand tilda for me) https://extensions.gnome.org/extension/442/drop-down-terminal/ 6 comments 7/6/2013 linux

Linking pages

Efficiency hacks for programmers https://rokpovsic.com/efficiency-hacks-for-programmers.html 15 comments

Would you like to stay up to date with Unix? Checkout Unix Weekly.

Related searches:

Search whole site: site:extensions.gnome.org

Search title: Drop Down Terminal - GNOME Shell Extensions

See how to search.

Submit link to: