run: change --tty option to --pty as documented
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 18 Apr 2016 00:46:00 +0000 (20:46 -0400)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 19 Apr 2016 13:03:47 +0000 (09:03 -0400)
commit5cfde70c6e7c8afcd2c9cdb3505301c3e6cde6da
tree704faf383ad3669b278b0a547d6488e10b2b33cd
parentfe4aede922f145df8b82108d937b65dcd3443588
run: change --tty option to --pty as documented

Keep the previous option name as hidden, for compatibility.

Fixes #3054.
src/run/run.c