jpm
/
scripts
1
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
scripts/update_gnome_profile.sh

16 lines
834 B
Bash
Raw Normal View History

Script to update gnome settings Should take any modified settings and write them as the default settings. I do not remember if this actually worked. The intent was so that, when a terminal was openned using a different profile, those preferences would become the defaults for new actions. I don't remember the exact impetus for this either. No longer using gnome-terminal, so I'm just storing this for posterity.
2023-07-20 20:03:20 +00:00
#!/bin/bash
PROFILES=`gsettings get org.gnome.Terminal.ProfilesList list | sed -e 's/\[\(.*\)\]/\1/' |sed -e "s/[\',]//g"`
for i in $PROFILES; do
CURRENT=`gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${i}/ visible-name | sed -e "s/'\(.*\)'/\1/"`
if [[ $1 == $CURRENT ]]; then
for j in `gsettings list-keys org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${i}/`; do
k=`gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${i}/ $j`
#echo $k
echo gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles/ $j \'$k\'
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles/ $j "$k"
done
exit
fi
done