2023-11-14 20:44:58 +00:00
|
|
|
sudo apt install xdotool
|
|
|
|
|
|
2023-11-14 21:22:36 +00:00
|
|
|
# hide gtk titlebar
|
2023-11-14 18:42:42 +00:00
|
|
|
wget https://github.com/velitasali/gtktitlebar/releases/download/11.0/gtktitlebar-11.0.zip
|
2023-11-14 20:44:58 +00:00
|
|
|
yes | sudo unzip gtktitlebar-11.0.zip -d /usr/share/gnome-shell/extensions
|
|
|
|
|
rm gtktitlebar-11.0.zip
|
|
|
|
|
|
2023-11-14 21:22:36 +00:00
|
|
|
# autohide top bar
|
|
|
|
|
sudo apt install gnome-shell-extension-autohidetopbar
|
|
|
|
|
|
2023-11-14 22:48:51 +00:00
|
|
|
# soft brightness
|
|
|
|
|
|
2023-11-14 21:22:36 +00:00
|
|
|
# refresh gnome shell
|
2023-11-14 20:44:58 +00:00
|
|
|
name=$(xdotool getwindowfocus getwindowname)
|
|
|
|
|
killall -3 gnome-shell && sleep 5
|
|
|
|
|
xdotool key Tab
|
|
|
|
|
xdotool key Return
|
2023-11-14 20:49:27 +00:00
|
|
|
sleep 1
|
|
|
|
|
echo "$name"
|
|
|
|
|
wmctrl -a $name
|
2023-11-14 20:55:30 +00:00
|
|
|
|
2023-11-14 21:22:36 +00:00
|
|
|
# enable extensions
|
2023-11-14 21:04:34 +00:00
|
|
|
gsettings set org.gnome.shell disable-user-extensions false
|
2023-11-14 20:55:30 +00:00
|
|
|
gnome-extensions enable gtktitlebar@velitasali.github.io
|
2023-11-14 21:22:36 +00:00
|
|
|
gnome-extensions enable hidetopbar@mathieu.bidon.ca
|
