12.12.3 Pipe Channel

Keywords: user

The user keyword is used on pipe channels to indicate under what user name to run.

Note that the argument to user is normally forced to lowercase, but original case is preserved if the argument is quoted.