From 6dc7255b85d1c1bb1b66b94c55a91f21905eef08 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 27 Apr 2024 14:38:07 +0200 Subject: Adding debian version 2.8.1-4. Signed-off-by: Daniel Baumann --- debian/patches/0002-config_files_paths.patch | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 debian/patches/0002-config_files_paths.patch (limited to 'debian/patches/0002-config_files_paths.patch') diff --git a/debian/patches/0002-config_files_paths.patch b/debian/patches/0002-config_files_paths.patch new file mode 100644 index 0000000..9399db2 --- /dev/null +++ b/debian/patches/0002-config_files_paths.patch @@ -0,0 +1,19 @@ +Author: Jerome Charaoui +Description: Adds Debian configuration paths +Bug-Debian: https://bugs.debian.org/758551, https://bugs.debian.org/899178 +Forwarded: not-needed + +diff -Naurp powerline.orig/powerline/__init__.py powerline/powerline/__init__.py +--- powerline.orig/powerline/__init__.py ++++ powerline/powerline/__init__.py +@@ -148,8 +148,8 @@ def get_config_paths(): + config_dirs = os.environ.get('XDG_CONFIG_DIRS', DEFAULT_SYSTEM_CONFIG_DIR) + if config_dirs is not None: + config_paths[:0] = reversed([join(d, 'powerline') for d in config_dirs.split(':')]) +- plugin_path = join(os.path.realpath(os.path.dirname(__file__)), 'config_files') +- config_paths.insert(0, plugin_path) ++ config_paths.insert(0, '/etc/powerline') ++ config_paths.insert(0, '/usr/share/powerline/config_files') + return config_paths + + -- cgit v1.2.3