BUG: --disable-pager doesn"t work

Paul DuBois writes:
> This is true for both 4.0 and 4.1
>
> mysql --help now says:
>
> --no-pager Disable pager and print to stdout. See interactive help
> (\h) also. WARNING: option deprecated; use
> --disable-pager instead.
>
> However, either --disable-pager or --skip-pager result in an error
> as soon as you issue a query:
>
> mysql> show tables;
> sh: 0: command not found
>
> The reason appears to be that the pager has been set to "0":

Thanks for the bug report!

This is fixed in 'mysql' version 12.16.

Regards,

- Jani

For technical support contracts, visit https://order.mysql.com/
__ ___ ___ ____ __
/ |/ /_ __/ __/ __ \/ / Mr. Jani Tolonen
/ /|_/ / // /\ \/ /_/ / /__ MySQL AB, Full-Time Developer
/_/ /_/\_, /___/\___\_\___/ Helsinki, Finland
<___/ www.mysql.com

------------------------------------------------------------ ---------
Before posting, please check:
http://www.mysql.com/manual.php (the manual)
http://lists.mysql.com/ (the list archive)

To request this thread, e-mail bugs-thread12734@lists.mysql.com
To unsubscribe, e-mail