1 files changed, 26 insertions, 0 deletions
diff --git a/src/share/m/keys_for_userid b/src/share/m/keys_for_userid
new file mode 100644
index 0000000..a65356b
--- /dev/null
+++ b/src/share/m/keys_for_userid
@@ -0,0 +1,26 @@
+# -*-shell-script-*-
+# This should be sourced by bash (though we welcome changes to make it POSIX sh compliant)
+
+# Monkeysphere keys-for-userid subcommand
+#
+# The monkeysphere scripts are written by:
+# Jameson Rollins <jrollins@finestructure.net>
+# Jamie McClelland <jm@mayfirst.org>
+# Daniel Kahn Gillmor <dkg@fifthhorseman.net>
+#
+# They are Copyright 2010, and are all released under the GPL, version
+# 3 or later.
+
+keys_for_userid() {
+    local tmpFile=$(msmktempfile)
+
+    trap "rm -f $tmpFile" EXIT
+
+    FILE_TYPE='raw' process_keys_for_file "$tmpFile" "$@"
+
+    cat "$tmpFile"
+
+    rm -f "$tmpFile"
+
+    trap - EXIT
+}