docker-runner/dev.ust.zinc.grader.pipeline.docker.copy/CopyVolumeMux/CopyVolumeMux

CopyVolumeMux

constructor(fileToDest: Map<String, String>, mountPath: Path)

Parameters

fileToDest

maps a file from one location to another file (i.e. a copying action with cp)

mountPath

Path to host to mount into the container's EnvPath.MOUNT_PATH