diff options
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/progress-linux/0001-user-dirs-defaults.patch | 30 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 31 insertions, 0 deletions
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 <daniel.baumann@progress-linux.org> +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 |