src/Tools/Find_Facts/etc/settings
Sun, 12 Jan 2025 21:39:57 +0100 wenzelm proper initialization of settings: avoid accidental intrusion from parent process environment;
Sun, 12 Jan 2025 21:38:38 +0100 wenzelm clarified solr_data directory, provided via settings;
Sun, 12 Jan 2025 21:26:30 +0100 wenzelm explicit settings FIND_FACTS_WEB and option -w, outside of source (immutable) directory;
Sun, 12 Jan 2025 00:05:01 +0100 wenzelm tool wrappers with specific java options, notably classpath "$SOLR_JARS";
Sat, 11 Jan 2025 23:24:32 +0100 wenzelm proper component src/Tools/Find_Facts;
Sat, 11 Jan 2025 21:31:13 +0100 wenzelm original sources of find-facts 271b5af0c4c8;
less more (0) tip