filed

Job queue using FUSE

commit abe3ee2a86df367934e1768b52303efcd7c8d551
parent fc5c11107c54414937e754c07b8eeb8e003943a1
Author: Marc Coquand <marc@coquand.email>
Date:   Thu, 18 Dec 2025 10:48:16 +0100

docs

Diffstat:
M
filed.5.scd
 | 
3
---
M
filed.config.5.scd
 | 
2
+-

2 files changed, 1 insertion(+), 4 deletions(-)
diff --git a/filed.5.scd b/filed.5.scd
@@ -87,15 +87,12 @@ 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)"
 
 Retry a job that failed:
-
 	$ mv /var/filed/failed/myjob /var/filed/pending
 
 Inspect a currently running job:
-
 	$ cat /var/filed/active/myjob
 
 
diff --git a/filed.config.5.scd b/filed.config.5.scd
@@ -11,7 +11,7 @@ configure the *filed*(5) job queue.
 
 When saving the file, the changes are applied immediately.
 
-# Overview
+# OVERVIEW
 
 ## Max retries