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