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

do not need to create a secondary profile

Browse source
This commit is contained in:
Mylloon 2023-09-13 14:35:31 +02:00
parent 6df2a46612
commit 3a63e0993c
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 11 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
arch.sh
View file

@ -96,25 +96,19 @@ main() {
wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/fish/conf.d/alias.fish -O "$HOME"/.config/fish/conf.d/alias.fish wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/fish/conf.d/alias.fish -O "$HOME"/.config/fish/conf.d/alias.fish
# Themes in Gnome Terminal, the default one will be the dark one # Themes in Gnome Terminal, the default one will be the dark one
local GT_default GT_profile2 local GT_default
GT_default=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \') GT_default=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')
GT_profile2=$(uuidgen)
gsettings set org.gnome.Terminal.ProfilesList list "['${GT_default}', '${GT_profile2}']"
GT_profiles=("${GT_default}" "${GT_profile2}")
wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/update_theme.sh -P "$HOME"/.config/ wget -q https://git.mylloon.fr/Anri/confOS/raw/branch/main/.config/update_theme.sh -P "$HOME"/.config/
for profile in "${GT_profiles[@]}" gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ use-custom-command true
do gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ custom-command "fish"
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ use-custom-command true
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ custom-command "fish"
# Default colors # Default colors
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ use-theme-colors "false" gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ use-theme-colors "false"
# Size and font # Size and font
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ use-system-font false gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ use-system-font false
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ default-size-columns 105 gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ default-size-columns 105
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ default-size-rows 25 gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ default-size-rows 25
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ font "MesloLGM Nerd Font 12" gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ font "MesloLGM Nerd Font 12"
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profile}"/ use-system-font false gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${GT_default}"/ use-system-font false
done
bash "$HOME"/.config/update_theme.sh sunset bash "$HOME"/.config/update_theme.sh sunset
# Keybinds # Keybinds