diff options
Diffstat (limited to 'desktop/docfetcher/paths.patch')
| -rw-r--r-- | desktop/docfetcher/paths.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/desktop/docfetcher/paths.patch b/desktop/docfetcher/paths.patch new file mode 100644 index 0000000000..6f071637c1 --- /dev/null +++ b/desktop/docfetcher/paths.patch @@ -0,0 +1,18 @@ +--- DocFetcher-1.1.19.orig/misc/paths.txt 2017-01-10 16:36:26.000000000 +0100 ++++ DocFetcher-1.1.19/misc/paths.txt 2018-01-23 08:39:05.136882469 +0100 +@@ -28,10 +28,13 @@ + + # Where the settings are stored: + #settings=C:/path/to/settings/folder ++settings=${user.home}/.docfetcher/conf + + # Where the indexes are stored. Note: The DocFetcher daemon currently ignores + # this setting. + #indexes=C:/path/to/indexes/folder ++indexes=${user.home}/.docfetcher/indexes + + # Where the SWT library files will be written to: +-#swt=C:/path/to/swt-libs +\ No newline at end of file ++#swt=C:/path/to/swt-libs ++swt=${user.home}/.docfetcher/swt |