Fix cache_dir() problem, made it configurable

2025-10-15 12:41:00 +02:00
parent 1e60f35dd3
commit 847ffc810a
18 changed files with 48 additions and 18 deletions
@@ -103,6 +103,10 @@ option `-setup data_dir Dir`.
    "$schema": "http://json-schema.org/draft-04/schema#",
    "additionalProperties": false,
    "properties": {
+        "cache_dir": {
+            "description": "Location of cache, default is 'setup:data_dir()'",
+            "type": "string"
+        },
        "extra_pubkeys": {
            "default": [],
            "description": "Additional worker pubkeys, sharing rewards",