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

CopyHostToVolume

constructor(fileList: List<String>?)

constructor(fileToDest: Map<String, String>? = null)

Parameters

fileToDest

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