Specify the user for execution on Devbox. If not set, default user will be used.
user
User ID (UID) for the Linux user. Must be a non-negative integer.
Username for the Linux user.
Specify the user for execution on Devbox. If not set, default
userwill be used.