Skip to content
Snippets Groups Projects
Normal view Permalink
run-docker.sh 416 B
Newer Older
Yaman Umuroglu's avatar
[Docker] update Dockerfile, add launch script
Yaman Umuroglu committed
1 2 3 4 5 6 7 8 9 10 11 
#!/bin/sh

# Absolute path to this script, e.g. /home/user/bin/foo.sh
SCRIPT=$(readlink -f "$0")
# Absolute path this script is in, thus /home/user/bin
SCRIPTPATH=$(dirname "$SCRIPT")
echo "Mounting $SCRIPTPATH into /workspace/finn"
# Build the FINN Docker image
docker build --tag=finn .
# Launch container with current directory mounted
docker run --rm --name finn_dev -it -v $SCRIPTPATH:/workspace/finn finn bash