diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/progress-linux/0002-hostname-colors.patch | 15 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 16 insertions, 0 deletions
diff --git a/debian/patches/progress-linux/0002-hostname-colors.patch b/debian/patches/progress-linux/0002-hostname-colors.patch new file mode 100644 index 0000000..fb3134a --- /dev/null +++ b/debian/patches/progress-linux/0002-hostname-colors.patch @@ -0,0 +1,15 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Setting hostname colors to white on darkblue. + +diff -Naurp powerline.orig/powerline/config_files/colorschemes/shell/default.json powerline/powerline/config_files/colorschemes/shell/default.json +--- powerline.orig/powerline/config_files/colorschemes/shell/default.json ++++ powerline/powerline/config_files/colorschemes/shell/default.json +@@ -1,7 +1,7 @@ + { + "name": "Default color scheme for shell prompts", + "groups": { +- "hostname": { "fg": "brightyellow", "bg": "mediumorange", "attrs": [] }, ++ "hostname": { "fg": "white", "bg": "darkblue", "attrs": [] }, + "environment": { "fg": "white", "bg": "darkestgreen", "attrs": [] }, + "mode": { "fg": "darkestgreen", "bg": "brightgreen", "attrs": ["bold"] }, + "attached_clients": { "fg": "white", "bg": "darkestgreen", "attrs": [] } diff --git a/debian/patches/series b/debian/patches/series index e691c7b..4ff7c9f 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 0005-use_python3_by_default.patch 0006-privacy-breach-fixes.patch progress-linux/0001-user-colors.patch +progress-linux/0002-hostname-colors.patch |