Anri/confOS
1
0
Fork 0
Code Issues 27 Pull requests Projects Releases Wiki Activity

add rounded corners

Browse source
This commit is contained in:
Mylloon 2022-10-11 12:41:46 +02:00
parent 8a59188e88
commit 4d70f55fc8
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
arch.sh
View file

@ -21,7 +21,7 @@ then
yay -Y --devel --save yay -Y --devel --save
# === AUR packages == # === AUR packages ==
yay -S --noconfirm spotify obsidian parsec-bin onlyoffice-bin x11-emoji-picker-git gnome-shell-extension-dash-to-dock gnome-shell-extension-desktop-icons-ng dracula-gtk-theme dracula-icons-git vscodium-bin ttf-symbola gnome-shell-extension-appindicator-git touchegg gnome-shell-extension-x11gestures gnome-shell-extension-no-overview nerd-fonts-meslo gnome-shell-extension-gsconnect betterdiscord-installer spim-svn yay -S --noconfirm spotify obsidian parsec-bin onlyoffice-bin x11-emoji-picker-git gnome-shell-extension-dash-to-dock gnome-shell-extension-desktop-icons-ng dracula-gtk-theme dracula-icons-git vscodium-bin ttf-symbola gnome-shell-extension-appindicator-git touchegg gnome-shell-extension-x11gestures gnome-shell-extension-no-overview nerd-fonts-meslo gnome-shell-extension-gsconnect betterdiscord-installer spim-svn gnome-shell-extension-rounded-window-corners
# === Disable wayland == # === Disable wayland ==
sed -i 's/#Wayland/Wayland/g' /etc/gdm/custom.conf sed -i 's/#Wayland/Wayland/g' /etc/gdm/custom.conf
@ -237,6 +237,7 @@ then
gnome-extensions enable appindicatorsupport@rgcjonas.gmail.com gnome-extensions enable appindicatorsupport@rgcjonas.gmail.com
gnome-extensions enable no-overview@fthx gnome-extensions enable no-overview@fthx
gnome-extensions enable gsconnect@andyholmes.github.io gnome-extensions enable gsconnect@andyholmes.github.io
gnome-extensions enable rounded-window-corners@yilozt
# Nautilus keybinding # Nautilus keybinding
CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings) CUSTOM_KEYBINDINGS_LIST=$(gsettings get org.gnome.settings-daemon.plugins.media-keys custom-keybindings)