init_container.sh 312 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/bash

source="/media/$USER"

if [ ! -d "$source" ]; then
    source="/media/students/$USER"
fi

mkdir $source/docker
mkdir $source/docker/env
mkdir $source/docker/.jupyter
mkdir $source/docker/work

dir="`dirname "$(readlink -f "$0")"`"

$dir/execute_in_container.sh "$@" /home/init_container_internal.sh