equal
deleted
inserted
replaced
12 echo "Error: docker must be installed" |
12 echo "Error: docker must be installed" |
13 exit 1 |
13 exit 1 |
14 fi |
14 fi |
15 |
15 |
16 $DOCKER -h 2> /dev/null | grep -q Jansens && { echo "Error: $DOCKER is the Docking System Tray - install docker.io instead"; exit 1; } |
16 $DOCKER -h 2> /dev/null | grep -q Jansens && { echo "Error: $DOCKER is the Docking System Tray - install docker.io instead"; exit 1; } |
17 $DOCKER version | grep -q "^Client version:" || { echo "Error: unexpected output from \"$DOCKER version\""; exit 1; } |
17 $DOCKER version | grep -Eq "^Client( version)?:" || { echo "Error: unexpected output from \"$DOCKER version\""; exit 1; } |
18 $DOCKER version | grep -q "^Server version:" || { echo "Error: could not get docker server version - check it is running and your permissions"; exit 1; } |
18 $DOCKER version | grep -Eq "^Server( version)?:" || { echo "Error: could not get docker server version - check it is running and your permissions"; exit 1; } |
19 } |
19 } |
20 |
20 |
21 # Construct a container and leave its name in $CONTAINER for future use. |
21 # Construct a container and leave its name in $CONTAINER for future use. |
22 function initcontainer() { |
22 function initcontainer() { |
23 [ "$1" ] || { echo "Error: platform name must be specified"; exit 1; } |
23 [ "$1" ] || { echo "Error: platform name must be specified"; exit 1; } |