To create the vscode user, the provide_user.sh script is used. With this script the comand line appearance is improved with colors and branch informations

The script can be used both for the devcontainer and for the continuous
integration.