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

  •29•373•45•10•Updated Aug 17, 2025Aug 17, 2025

• ci-docker-image

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

  Dockerfile

  •0•0•1•0•Updated Aug 16, 2025Aug 16, 2025

• gnome-shell-box

  Public
  Vagrant libvirt boxes with GNOME Shell on various distros

  gnome-shellvagrant-boxvagrant-libvirt

  HCL

  •0•3•1•1•Updated Aug 16, 2025Aug 16, 2025

• 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•0•1•0•Updated Aug 16, 2025Aug 16, 2025

• aur

  Public
  ddterm AUR packages

  Shell

  •0•0•5•2•Updated Aug 15, 2025Aug 15, 2025

• ghcr-cleanup

  Public archive
  JavaScript

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

• gnome-shell-extension-tester

  Public
  0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

• artwork

  Public
  Shell

  •0•0•0•0•Updated May 16, 2025May 16, 2025

• typelib-installer

  Public
  0•0•0•0•Updated Mar 1, 2025Mar 1, 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

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

• autotag

  Public archive
  Automatically create tags in yyyy.mm.dd.n format

  github-action

  0•0•0•0•Updated Dec 30, 2023Dec 30, 2023