-
Notifications
You must be signed in to change notification settings - Fork 91
Home
For the moment, Drop Down Terminal uses the system monofont as font. To change it, use: gnome-tweak-tool → Fonts
There is no UI for these settings yet, but if you enable animations, you can set the opening / closing animation times in milliseconds using:
cd ~/.local/share/gnome-shell/extensions/[email protected]
gsettings --schemadir . set org.zzrough.gs-extensions.drop-down-terminal opening-animation-time 250
gsettings --schemadir . set org.zzrough.gs-extensions.drop-down-terminal closing-animation-time 250
If a value is set to 0 there is no animation.
If you want to use screen as a custom command, @visgean shared his .screenrc configuration on extensions.gnome.org:
hardstatus alwayslastline "%{gk}[%{G}%H%{g}][%=%{wk}%?%-Lw%?%{R}[%{W}%n*%t%?(%u)%?%{R}]%{w}%?%+Lw%?%?%=%{g}][%{B}%d.%m %{G}%c%{g}]"
I tested it and it looks great! Thanks to him.
@romgrk shared interesting gists:
- https://gist.github.com/romgrk/0ba7a864a4e6c76eefd3 (bash CLI with many settings)
- https://gist.github.com/romgrk/f0c0eec5a46d0e8f53cc (zsh with a couple of settings)
This might comes from drivers. @ronjouch gives us his experience with upgrading from NVIDIA binary drivers from 304.125 to 331.113: See his comment about that
Drivers are really an important factor of Gnome Shell's speed.
And I want them from the start too! But it seems there's a shortcoming in gjs bindings that hoses the colors and they can't be used, almost everything is black :-/ See issue #26