1#!/bin/sh2: ${docker_shell:="sh"}34_docker_id=""56docker_start() {7 [ -n "$docker_image" ] || fatal '$docker_image unset'8 _docker_id=$(docker run --rm --interactive --detach "$docker_image" "$docker_shell")9}1011docker_runcmd() {12 docker exec --interactive $_docker_id "$docker_shell"13}1415docker_copyin() {16 docker cp "$1" "$_docker_id:$2"17}1819docker_copyout() {20 docker cp "$_docker_id:$1" "$2"21}2223docker_stop() {24 docker stop $_docker_id > /dev/null25}