Repositories list

• gnome-shell-extension-ddterm

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

  terminalgnomegnome-shell+ 6waylandterminal-appvtegnome-shell-extensionterminal-emulatordropdown-terminal

  JavaScript

  •

  GNU General Public License v3.0

  •35•419•51•18•Updated Feb 23, 2026Feb 23, 2026

• aur

  Public
  ddterm AUR packages, and a binary repository for Arch Linux

  Shell

  •0•0•5•2•Updated Feb 23, 2026Feb 23, 2026

• gjs-typelib-installer

  Public
  Semi-automatic installation of missing GObject libraries

  JavaScript

  •

  MIT License

  •0•0•1•4•Updated Feb 22, 2026Feb 22, 2026

• gnome-shell-box

  Public
  Vagrant libvirt boxes with GNOME Shell on various distros

  gnome-shellvagrant-boxvagrant-libvirt

  HCL

  •0•4•1•5•Updated Feb 21, 2026Feb 21, 2026

• gnome-shell-image

  Public
  Container images with pre-installed GNOME Shell. Test environment for https://github.com/ddterm/gnome-shell-extension-ddterm

  Dockerfile

  •

  MIT License

  •1•1•2•0•Updated Feb 15, 2026Feb 15, 2026

• ci-docker-image

  Public archive
  Docker image for https://github.com/ddterm/gnome-shell-extension-ddterm CI

  Dockerfile

  •0•0•1•0•Updated Feb 3, 2026Feb 3, 2026

• artwork

  Public
  Shell

  •0•0•0•0•Updated Jan 22, 2026Jan 22, 2026

• ghcr-cleanup

  Public archive
  JavaScript

  •0•0•2•2•Updated Jul 14, 2025Jul 14, 2025

• gnome-shell-pod

  Public archive
  Not used and not updated anymore. Switched to simpler https://github.com/ddterm/gnome-shell-image

  Dockerfile

  •

  MIT License

  •12•0•1•0•Updated Sep 27, 2024Sep 27, 2024