diff options
Diffstat (limited to 'debian/patches/progress-linux')
| -rw-r--r-- | debian/patches/progress-linux/0001-user-colors.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0001-user-colors.patch b/debian/patches/progress-linux/0001-user-colors.patch new file mode 100644 index 0000000..3a52758 --- /dev/null +++ b/debian/patches/progress-linux/0001-user-colors.patch @@ -0,0 +1,15 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Setting user colors to white on green. + +diff -Naurp powerline.orig/powerline/config_files/colorschemes/default.json powerline/powerline/config_files/colorschemes/default.json +--- powerline.orig/powerline/config_files/colorschemes/default.json ++++ powerline/powerline/config_files/colorschemes/default.json +@@ -40,7 +40,7 @@ + "battery_full": { "fg": "red", "bg": "gray0", "attrs": [] }, + "battery_empty": { "fg": "white", "bg": "gray0", "attrs": [] }, + "player": { "fg": "gray10", "bg": "black", "attrs": [] }, +- "user": { "fg": "white", "bg": "darkblue", "attrs": ["bold"] }, ++ "user": { "fg": "white", "bg": "green", "attrs": ["bold"] }, + "branch": { "fg": "gray9", "bg": "gray2", "attrs": [] }, + "branch_dirty": { "fg": "brightyellow", "bg": "gray2", "attrs": [] }, + "branch_clean": { "fg": "gray9", "bg": "gray2", "attrs": [] }, |