diff options
Diffstat (limited to 'debian/patches/0004-set_default_shell_theme.patch')
| -rw-r--r-- | debian/patches/0004-set_default_shell_theme.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/0004-set_default_shell_theme.patch b/debian/patches/0004-set_default_shell_theme.patch new file mode 100644 index 0000000..c1ca003 --- /dev/null +++ b/debian/patches/0004-set_default_shell_theme.patch @@ -0,0 +1,17 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Setting default shell theme to default_leftonly +Bug-Debian: https://bugs.debian.org/899153 +Forwarded: not-needed + +diff -Naurp powerline.orig/powerline/config_files/config.json powerline/powerline/config_files/config.json +--- powerline.orig/powerline/config_files/config.json ++++ powerline/powerline/config_files/config.json +@@ -18,7 +18,7 @@ + }, + "shell": { + "colorscheme": "default", +- "theme": "default", ++ "theme": "default_leftonly", + "local_themes": { + "continuation": "continuation", + "select": "select" |