Description
Fast drop-down terminal access can be tested through the GitHub version of ddterm for GNOME Shell. It is useful for users who need newer fixes or behavior than the stable package provides.
Development terminal extensions may change after shell updates. Review commands before running them and keep a normal terminal available as a fallback.