@[email protected] to [email protected]English • 1 year agoWhat's your favorite terminal?message-square170fedilinkarrow-up1169arrow-down16file-text
arrow-up1163arrow-down1message-squareWhat's your favorite terminal?@[email protected] to [email protected]English • 1 year agomessage-square170fedilinkfile-text
minus-square@[email protected]linkfedilinkEnglish4•1 year agoI use ddterm. It’s a gnome extension that adds a Drop Down Terminal. I quite like how easy it is to bring it up and hide it again, at the press of a button. You can even hide it without closing it, so it’s great for testing web apps.
I use ddterm. It’s a gnome extension that adds a Drop Down Terminal. I quite like how easy it is to bring it up and hide it again, at the press of a button. You can even hide it without closing it, so it’s great for testing web apps.
Sounds a lot like Yakuake for KDE Plasma.