diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 02:05:42 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 02:05:42 +0000 |
commit | 52506cce144537546ffd519c505a9d67d25b284b (patch) | |
tree | 04dae99a61727033fb475f415a1355fefda04641 /debian/local/themes-shell-default.patch | |
parent | Adding upstream version 1.3.1. (diff) | |
download | powerline-gitstatus-52506cce144537546ffd519c505a9d67d25b284b.tar.xz powerline-gitstatus-52506cce144537546ffd519c505a9d67d25b284b.zip |
Adding debian version 1.3.1-1.debian/1.3.1-1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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 + }, |