Skip to content
Snippets Groups Projects
Select Git revision
  • b89f681d7d16d24725eafd02388cf8965a33e853
  • master default protected
  • hsh_v4.5
  • hsh_v4-4
  • hsh_v4.4
  • hsh_v4.3
  • hsh_v4.1.x
  • hsh_v4.2
  • hsh_v4.1
  • hsh_v3.11
  • hsh_3.10
  • v3.11-r2-hsh
  • v3.11-r2
  • v3.11-r1
  • v3.10-r1
  • v3.9-r1
  • v3.8-r2
  • v3.8-r1
  • v3.7-r1
19 results

coursebackups.php

Blame
  • buildimage.sh 1.02 KiB
    ##/bin/bash
    # arg1: sbcl version
    # arg2: maxima version
    # arg3: stack or moodle version: "stack-XXX" or "moodlev.X"
    # arg4: LIB_PATH
    # arg5: REGISTRY or dockerhub id
    # arg6: version of goemaxima
    #
    echo "starting to build image for:"
    echo "sbcl: $1"
    echo "maxima: $2"
    echo "stack: $3"
    IMAGENAME="goemaxima:$3"
    docker pull "$5/$IMAGENAME-dev"
    # build it
    if [ "$3" = "2017121800" ]; then
    	docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" --build-arg "MAX_LIB_PATH=/opt/maxima/assets/maximalocal.mac" . || exit 1
    else
    	docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" . || exit 1
    fi
    echo "${IMAGENAME} wurde erfolgreich gebaut."
    # push the image
    docker tag "$IMAGENAME" "$5/$IMAGENAME-dev"
    docker push "$5/$IMAGENAME-dev"
    if [ -n "$6" ]; then
    	docker tag "$IMAGENAME" "$5/$IMAGENAME-$6"
    	docker push "$5/$IMAGENAME-$6"
    	docker tag "$IMAGENAME" "$5/$IMAGENAME-latest"
    	docker push "$5/$IMAGENAME-latest"
    fi