chiark / gitweb /
keys/tripe-keys.in: Improve reporting of usage errors.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 9 Jan 2014 08:53:12 +0000 (08:53 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 11 Jan 2014 09:17:03 +0000 (09:17 +0000)
commitdb76b51b86654f5ef5605f050fc0ad32b61ca619
tree017f8c8d22a211a12d4fce12b1ab813644093acc
parent101acb51a8d63adc10e76027bc25503df8c55a1f
keys/tripe-keys.in: Improve reporting of usage errors.

  * Report a readable error for a mis-typed command name, rather than a
    Python exception backtrace.

  * Diagnose arguments to a command which expects none correctly.

  * Remove the `UsageError' exception, which was never caught and is now
    unused.
keys/tripe-keys.in