add

teuben · Nov 20, 2023 · 5321118 · 5321118
1 parent 0f74248
commit 5321118
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/text/savekeys.design b/text/savekeys.design
@@ -102,6 +102,9 @@ is a filename controlled with the PPID, which in bash should be something like
    export NEMOVAR=/dev/shm/nemovar_$$.$USER
 
 Writing should be done with an exclusive lock. Reading can be done at will.
+This implies - for the simple file based version - that this system cannot
+be used for pipe, viz.
+