From 6dd502c15f6bec32e8e0639ea157108f0b425e9b Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 19:02:37 +0200 Subject: Setting all user-dirs defaults to $HOME. Signed-off-by: Daniel Baumann --- .../progress-linux/0001-user-dirs-defaults.patch | 30 ++++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 31 insertions(+) create mode 100644 debian/patches/progress-linux/0001-user-dirs-defaults.patch (limited to 'debian') diff --git a/debian/patches/progress-linux/0001-user-dirs-defaults.patch b/debian/patches/progress-linux/0001-user-dirs-defaults.patch new file mode 100644 index 0000000..00a486f --- /dev/null +++ b/debian/patches/progress-linux/0001-user-dirs-defaults.patch @@ -0,0 +1,30 @@ +Authors: Daniel Baumann +Description: Setting all user-dirs defaults to $HOME. + +diff -Naurp xdg-user-dirs.orig/user-dirs.defaults xdg-user-dirs/user-dirs.defaults +--- xdg-user-dirs.orig/user-dirs.defaults ++++ xdg-user-dirs/user-dirs.defaults +@@ -2,15 +2,11 @@ + # + # The values are relative pathnames from the home directory and + # will be translated on a per-path-element basis into the users locale +-DESKTOP=Desktop +-DOWNLOAD=Downloads +-TEMPLATES=Templates +-PUBLICSHARE=Public +-DOCUMENTS=Documents +-MUSIC=Music +-PICTURES=Pictures +-VIDEOS=Videos +-# Another alternative is: +-#MUSIC=Documents/Music +-#PICTURES=Documents/Pictures +-#VIDEOS=Documents/Videos ++DESKTOP= ++DOWNLOAD= ++TEMPLATES= ++PUBLICSHARE= ++DOCUMENTS= ++MUSIC= ++PICTURES= ++VIDEOS= diff --git a/debian/patches/series b/debian/patches/series index e69de29..fe38ab7 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -0,0 +1 @@ +progress-linux/0001-user-dirs-defaults.patch -- cgit v1.2.3