Ubuntu base image for Concrete Solutions development environments
dev user is created to perform non-root operations.
dev user does not have password and is sudoer.
To change the
dev user UID/GID, use the
change-dev-ids <NEWUID> [<NEWGID>]
NEWGID is not specified, it will have the same value than
This command is useful to set the same permissions on files shared via a volume with the user on the host machine.