From 0725ad38511343a91e506b53cd931f630bd259a8 Mon Sep 17 00:00:00 2001
From: Kevin Cernekee <cernekee@gmail.com>
Date: Thu, 6 Mar 2014 22:35:08 -0800
Subject: Rename psk-args.def to psktool-args.def

Other utilities generate invoke-%.texi from %-args.def, but currently
invoke-psktool.texi is generated from psk-args.def.  If we make psktool
conform to the same convention as the other utilities, we can use a
generic pattern to handle all of them the same way.

Signed-off-by: Kevin Cernekee <cernekee@gmail.com>
---
 src/psktool-args.def | 63 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 src/psktool-args.def

(limited to 'src/psktool-args.def')

diff --git a/src/psktool-args.def b/src/psktool-args.def
new file mode 100644
index 0000000000..819acdb327
--- /dev/null
+++ b/src/psktool-args.def
@@ -0,0 +1,63 @@
+AutoGen Definitions options;
+prog-name     = psktool;
+prog-title    = "GnuTLS PSK tool";
+prog-desc     = "Program to create PSK parameters.\n";
+detail    = "Program  that generates random keys for use with TLS-PSK. The
+keys are stored in hexadecimal format in a key file.";
+short-usage   = "psktool [options]\npsktool --help for usage instructions.\n";
+explain       = "";
+
+#include args-std.def
+
+flag = {
+    name      = keysize;
+    value     = s;
+    arg-type  = number;
+    arg-range = "0 -> 512";
+    descrip   = "specify the key size in bytes";
+    doc = "";
+};
+
+flag = {
+    name      = username;
+    value     = u;
+    arg-type  = string;
+    descrip   = "specify a username";
+    doc = "";
+};
+
+flag = {
+    name      = passwd;
+    value     = p;
+    arg-type  = string;
+    descrip   = "specify a password file";
+    doc       = "";
+};
+
+doc-section = {
+  ds-type = 'SEE ALSO';
+  ds-format = 'texi';
+  ds-text   = <<-_EOT_
+    gnutls-cli-debug (1), gnutls-serv (1), srptool (1), certtool (1)
+_EOT_;
+};
+
+doc-section = {
+  ds-type = 'EXAMPLES';
+  ds-format = 'texi';
+  ds-text   = <<-_EOT_
+To add a user 'psk_identity' in @file{passwd.psk} for use with GnuTLS run:
+@example
+$ ./psktool -u psk_identity -p passwd.psk
+Generating a random key for user 'psk_identity'
+Key stored to passwd.psk
+$ cat psks.txt
+psk_identity:88f3824b3e5659f52d00e959bacab954b6540344
+$
+@end example
+
+This command will create @file{passwd.psk} if it does not exist
+and will add user 'psk_identity' (you will also be prompted for a password). 
+_EOT_;
+};
+
-- 
cgit v1.2.1

