| #!/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 "$@" |
