X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/distorted-keys/blobdiff_plain/410343d6990d1d03b2fc1c9d8172030a0e4a7258..f9431707a071cbace3ddb616b4b898bab0a9e1f4:/keyfunc.sh.in

diff --git a/keyfunc.sh.in b/keyfunc.sh.in
index a618e66..89deccc 100644
--- a/keyfunc.sh.in
+++ b/keyfunc.sh.in
@@ -240,6 +240,16 @@ EOF
   done
 }
 
+dumpprops () {
+  prefix=$1
+  ## Write the properties stored in the variables beginning with PREFIX.
+
+  set | sed -n "/^$prefix/{s/=.*\$//;p}" | sort | while read name; do
+    eval value=\$$name
+    echo "${name#$prefix}=$value"
+  done
+}
+
 defprops () {
   name=$1
   ## Define a properties table NAME.