summaryrefslogtreecommitdiffhomepage
path: root/debug-me.1
diff options
context:
space:
mode:
Diffstat (limited to 'debug-me.1')
-rw-r--r--debug-me.15
1 files changed, 0 insertions, 5 deletions
diff --git a/debug-me.1 b/debug-me.1
index 154b5e4..1bce965 100644
--- a/debug-me.1
+++ b/debug-me.1
@@ -39,11 +39,6 @@ will keep most developers honest.
.IP "-- cmd opts"
Normally debug-me will run your login shell. To run some other command,
pass the command and any options after "--".
-.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.
.SH DEVELOPER OPTIONS
.IP "--debug url"
Connect to a debug-me session on the specified url. The developer runs