filed

Job queue using FUSE

commit 2b10b0c6fff90d9d02d79fea24db63efc9d2d5f6
parent 3990951da168f076aef16a30f7b600b91f8e8188
Author: Marc Coquand <marc@coquand.email>
Date:   Thu, 18 Dec 2025 15:46:05 +0100

Docs

Diffstat:
M
filed.5.scd
 | 
18
+++++++++++-------

1 file changed, 11 insertions(+), 7 deletions(-)
diff --git a/filed.5.scd b/filed.5.scd
@@ -39,7 +39,7 @@ _mdir_/complete/\*
 	Jobs that succeeded, with content being the job	output. Jobs
 	here can safely be removed.
 
-_mdir_/new-id 
+_mdir_/_new-id_ 
 	Contains a short unique id that can be sampled for job name
 	entropy. The id is guaranteed to be unique at creation.
 
@@ -91,14 +91,18 @@ exist. Defaults to $XDG_DATA_HOME/filed.db, or exit(1) if XDG_DATA_HOME is unset
 
 # EXAMPLE
 
-Create a new job with a unique id, that echoes hello world:
-	$ printf "echo helloworld" > "/var/filed/pending/$(< /var/filed/new-id)"
+*filed* /var/filed
+	Mount *filed* pseudo-filesystem to /var/filed.
 
-Retry a job that failed:
-	$ mv /var/filed/failed/myjob /var/filed/pending
+printf "echo helloworld" > "/var/filed/pending/$(< /var/filed/new-id)"
+	Create a new job with a unique id sampled from _new-id_, that echoes hello world.
+
+mv /var/filed/failed/myjob /var/filed/pending
+	Retry a job that failed.
+
+cat /var/filed/active/myjob
+	Inspect a currently running job.
 
-Inspect a currently running job:
-	$ cat /var/filed/active/myjob
 
 
 # SEE ALSO