@GravitySpoiled@lemmy.ml to Linux@lemmy.mlEnglish • 1 year agoWhat's your favorite terminal?message-square177fedilinkarrow-up1178arrow-down16file-text
arrow-up1172arrow-down1message-squareWhat's your favorite terminal?@GravitySpoiled@lemmy.ml to Linux@lemmy.mlEnglish • 1 year agomessage-square177fedilinkfile-text
minus-square@SethranKada@lemmy.calinkfedilinkEnglish4•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.