diff options
| author | Leo C <leoc@gmx.com> | 2018-01-25 22:25:28 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2018-01-27 07:43:48 +0700 |
| commit | 84ed8708fd06cd5b7e35430d4b891ecd1e7abb65 (patch) | |
| tree | eae4ac581f94af5f606a01fac4828fcc8ef474ef /desktop/docfetcher/paths.patch | |
| parent | 414e2f5eec15bcee042b18af3ba3cda6a9c9b46e (diff) | |
desktop/docfetcher: Added (Java desktop search application).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
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 0000000000000..6f071637c1642 --- /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 |