ST Drop-down is an awesome extension for Gnome Shell that provides drop-down functionality to ST - Simple Terminal.
- Drop-down.
- Multiple monitors.
-
Smooth transition effects.
-
Elegant presentation with 90% of width and 90% of height.
-
Compatible with any linux distribution which has GNOME desktop environment.
- Download the files corresponding to the repository.
- Decompress and copy the directory
[email protected]
to gnome shell extension directory.local/share/gnome-shell/extensions
. - Reload
gnome-shell
by pressing Alt + F2 and entering r. - Enable the extension using GNOME Tweaks.
# Clone repository
git clone https://github.com/drak/st-dropdown.git
# Enter cloned directory
cd st-dropdown
# Copy to extensions directory
cp -r [email protected] -t ~/.local/share/gnome-shell/extensions
# Activate
gnome-shell-extension-tool -e [email protected]
Finally, reload GNOME Shell by pressing Alt + F2 and entering r .
ST Drop-down depends on:
- ST - Simple Terminal
- GNOME Tweaks
- xdotool
Press F12 to drop down and up ST.