Skip to content
@ddterm

ddterm GNOME Shell extension

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

Pinned Loading

  1. gnome-shell-extension-ddterm gnome-shell-extension-ddterm Public

    Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

    JavaScript 318 27

  2. gnome-shell-box gnome-shell-box Public

    Vagrant libvirt boxes with GNOME Shell

    HCL 1

Repositories

Showing 8 of 8 repositories

Top languages

Loading…

Most used topics

Loading…