Re: [pacman-dev] [PATCH] document that stdin must not be a tty to read from it