2015-03-16 05:19:07 -04:00
|
|
|
#!/bin/sh
|
|
|
|
|
2015-03-16 05:23:40 -04:00
|
|
|
# Initialize ccache if needed
|
2017-05-30 13:24:02 -04:00
|
|
|
if [ ! -f ${CCACHE_DIR}/ccache.conf ]; then
|
2015-03-15 12:30:34 -04:00
|
|
|
echo "Initializing ccache in /srv/ccache..."
|
2017-05-30 13:24:02 -04:00
|
|
|
ccache -M ${CCACHE_SIZE}
|
2015-03-16 05:23:40 -04:00
|
|
|
fi
|
|
|
|
|
2017-05-30 13:38:12 -04:00
|
|
|
# in Docker, the USER variable is unset by default
|
|
|
|
# but some programs (like jack toolchain) rely on it
|
|
|
|
export USER="$(whoami)"
|
2016-03-13 20:12:25 -04:00
|
|
|
|
2016-03-13 09:54:07 -04:00
|
|
|
# Launch screen session
|
2016-04-04 13:00:56 -04:00
|
|
|
screen -s /bin/bash
|