issues
search
bigbn
/
drop-down-terminal-x
Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
91
stars
9
forks
source link
Update terminal.js
#72
Closed
MaxMaxoff
closed
4 years ago
MaxMaxoff
commented
4 years ago
ssh without '-v'
ssh without '-v'