Description
Drop-down terminal access can be tested through the development version of the GNOME Shell extension. It is useful for users who want newer fixes while keeping command-line access one shortcut away.
Git extensions can break with shell updates. Keep a normal terminal available and review commands before executing them.