| #!/bin/bash | |
| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| # Map the "dev" user to an UID passed in as environment variable to ensure | |
| # files are written by the same UID/GID into mounted volumes. | |
| DEV_UID=${DEV_UID:-1000} | |
| DEV_GID=${DEV_GID:-1000} | |
| groupmod -o -g "$DEV_GID" dev >/dev/null 2>&1 | |
| usermod -o -u "$DEV_UID" dev >/dev/null 2>&1 | |
| # Load user configuration. | |
| test -f "${USER_CONFIG}" && export BASH_ENV=${USER_CONFIG} | |
| cd /home/dev || exit | |
| exec gosu dev:dev /bin/bash -c "$@" |