summaryrefslogtreecommitdiffhomepage
path: root/debug-me.1
diff options
context:
space:
mode:
Diffstat (limited to 'debug-me.1')
-rw-r--r--debug-me.16
1 files changed, 6 insertions, 0 deletions
diff --git a/debug-me.1 b/debug-me.1
index 130c90c..ee12326 100644
--- a/debug-me.1
+++ b/debug-me.1
@@ -24,6 +24,12 @@ to adjust their reputation.
.IP "-- cmd opts"
Normally debug-me will run your login shell. To run some other command,
pass the command and any options after "--".
+.PP
+.IP "--gpg-opt=option"
+debug-me runs gpg to verify the GPG key of a developer. To pass options to
+gpg, use --gpg-opt with the option to pass. For example:
+--gpg-opt=--keyserver=pgpkeys.mit.edu
+This can be done multiple times.
.IP "--debug url"
Connect to a debug-me session on the specified url. The developer runs
debug-me with this option to see and interact with the user's bug.