Save the following scripts to a file run.sh
set -e
INPUT="$(cd $(dirname "$1") && pwd -P)/$(basename "$1")"
OUTPUT="$(cd $(dirname "$2") && pwd -P)/$(basename "$2")"
touch $OUTPUT
docker run -v $INPUT:/seg/input.txt -v $OUTPUT:/seg/output.txt ryanlr/seg
docker pull ryanlr/seg
sh run.sh input.txt output.txt
Input is a text file which contains a set of method bodies. This is a sample input file: https://www.dropbox.com/s/gkc559ixwdxupfy/SweetHome3D-20-40.txt?dl=0
Content type
Image
Digest
Size
559.5 MB
Last updated
over 9 years ago
docker pull ryanlr/seg