search

ddterm / gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
https://extensions.gnome.org/extension/3780/ddterm/
GNU General Public License v3.0
313 stars 27 forks source link

Compatibility with `realpath` from busybox #726

Closed amezin closed 10 months ago

amezin commented 10 months ago

It doesn't understand --.

Probably fixes https://github.com/ddterm/gnome-shell-extension-ddterm/issues/629