gnome: add gnomeExtensions.ddterm

This commit is contained in:
Sean Buckley 2022-10-29 02:11:56 -04:00
parent bdc01c768a
commit 554fadbc3c

View file

@ -25,6 +25,7 @@ in
gnomeExtensions.appindicator gnomeExtensions.appindicator
gnomeExtensions.dash-to-dock gnomeExtensions.dash-to-dock
gnomeExtensions.dash-to-panel gnomeExtensions.dash-to-panel
gnomeExtensions.ddterm
gnomeExtensions.sound-output-device-chooser gnomeExtensions.sound-output-device-chooser
(runCommand "x-terminal-emulator" { } '' (runCommand "x-terminal-emulator" { } ''