Fixes gnome settings

This commit is contained in:
2022-01-20 12:00:28 +01:00
parent 26d4a706ce
commit 645ffb24ca
2 changed files with 7 additions and 3 deletions

View File

@@ -68,3 +68,7 @@ disabled=false
[git_status] [git_status]
style="bold red" style="bold red"
format='([\[$all_status$ahead_behind\]]($style) )' format='([\[$all_status$ahead_behind\]]($style) )'
# Local Variables:
# vc-follow-symlinks: t
# End:

View File

@@ -21,7 +21,7 @@ function run() {
} }
function load_gnome_terminal_profiles() { function load_gnome_terminal_profiles() {
run dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profiles.dconf run dconf load /org/gnome/terminal/legacy/profiles:/ < $(this_script_root_dir)/gnome-terminal-profiles.dconf
} }
function install_home() { function install_home() {