diff options
Diffstat (limited to 'debian/local/themes-shell-default.patch')
| -rw-r--r-- | debian/local/themes-shell-default.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/local/themes-shell-default.patch b/debian/local/themes-shell-default.patch new file mode 100644 index 0000000..008bdb9 --- /dev/null +++ b/debian/local/themes-shell-default.patch @@ -0,0 +1,17 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Enabling powerline-gitstatus in default shell theme. + +diff -Naurp powerline-gitstatus.temp/debian/powerline-gitstatus/usr/share/powerline/config_files/themes/shell/default.json powerline-gitstatus/debian/powerline-gitstatus/usr/share/powerline/config_files/themes/shell/default.json +--- powerline-gitstatus.temp/debian/powerline-gitstatus/usr/share/powerline/config_files/themes/shell/default.json ++++ powerline-gitstatus/debian/powerline-gitstatus/usr/share/powerline/config_files/themes/shell/default.json +@@ -17,6 +17,10 @@ + "priority": 50 + }, + { ++ "function": "powerline_gitstatus.gitstatus", ++ "priority": 40 ++ }, ++ { + "function": "powerline.segments.shell.cwd", + "priority": 10 + }, |