I’m reconsidering my terminal emulator and was curious what everyone was using.

    • ShittyBeatlesFCPres@lemmy.worldEnglish
      2·
      9 months ago

      There’s a good gnome extension too. I used Guake for years but switched to the extension one day and ended up liking it. It’s basically Guake but the menus and things use a modern Gnome style.