Setting all user-dirs defaults to $HOME.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
This commit is contained in:
parent
108b72afd5
commit
38adf41c65
2 changed files with 31 additions and 0 deletions
30
debian/patches/progress-linux/0001-user-dirs-defaults.patch
vendored
Normal file
30
debian/patches/progress-linux/0001-user-dirs-defaults.patch
vendored
Normal file
|
@ -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=
|
1
debian/patches/series
vendored
1
debian/patches/series
vendored
|
@ -0,0 +1 @@
|
|||
progress-linux/0001-user-dirs-defaults.patch
|
Loading…
Add table
Add a link
Reference in a new issue