Update Vivaldi launcher and change Terminal font
This commit is contained in:
parent
882ab7db9c
commit
c5ecca989d
1 changed files with 2 additions and 2 deletions
|
@ -13,7 +13,7 @@ set_favorites_bar () {
|
|||
then
|
||||
gsettings set org.gnome.shell favorite-apps "$(cat "${XDG_CONFIG_HOME:-$HOME/.config}/favorite-apps.conf")"
|
||||
else
|
||||
gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Console.desktop', 'org.gnome.Nautilus.desktop', 'vivaldi-stable.desktop', 'org.mozilla.firefox.desktop', 'org.keepassxc.KeePassXC.desktop']"
|
||||
gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Console.desktop', 'org.gnome.Nautilus.desktop', 'com.vivaldi.Vivaldi.desktop', 'org.mozilla.firefox.desktop', 'org.keepassxc.KeePassXC.desktop']"
|
||||
fi
|
||||
}
|
||||
set_favorites_bar
|
||||
|
@ -81,7 +81,7 @@ set_gnome_terminal_preferences () {
|
|||
]"
|
||||
gsettings set "$_acp_terminal_profile" preserve-working-directory 'always'
|
||||
gsettings set "$_acp_terminal_profile" use-theme-colors false
|
||||
gsettings set "$_acp_terminal_profile" use-system-font false
|
||||
gsettings set "$_acp_terminal_profile" use-system-font true
|
||||
if [ -n "$_acp_dark_mode" ]
|
||||
then
|
||||
gsettings set "$_acp_terminal_profile" background-color '#101010'
|
||||
|
|
Loading…
Reference in a new issue