24 lines
722 B
Bash
Executable File
24 lines
722 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# script from Deni Bertovic
|
|
# https://denibertovic.com/posts/handling-permissions-with-docker-volumes/
|
|
|
|
# Add local user
|
|
# Either use the LOCAL_USER_ID if passed in at runtime or
|
|
# fallback
|
|
|
|
USER_ID=${LOCAL_USER_ID:-9001}
|
|
|
|
if [[ $(id -u user 2> /dev/null) != $USER_ID ]]; then
|
|
useradd --shell /bin/bash -u $USER_ID -o -c "" -m user
|
|
export HOME=/home/user
|
|
echo "set -o vi" >> $HOME/.bashrc
|
|
echo "export PATH=\${PATH}:/opt/devkitPro/devkitARM/bin/" >> $HOME/.bashrc
|
|
echo "export DEVKITPRO=/opt/devkitPro" >> $HOME/.bashrc
|
|
echo "export DEVKITARM=/opt/devkitPro/devkitARM" >> $HOME/.bashrc
|
|
echo "export CC=/usr/bin/clang" >> $HOME/.bashrc
|
|
echo "export CXX=/usr/bin/clang++" >> $HOME/.bashrc
|
|
fi
|
|
|
|
exec "$@"
|