psc.sh

#!/usr/bin/env bash

#
# If you found this in a repository other than
# purescript-hodgepodge, know that it was likely copied or modified
# from the script of the same name located at
# https://github.com/bbarker/purescript-hodgepodge
#
# You can find more information there about this script.
#

source config.sh

: "${CONT_NAME:=PureScriptM2}"
: "${IMG_NAME:=purescript-macaulay2}"
: "${IMG_VER:=latest}"
# Set this to the empty string to use locally built image:
if ! [[ -v "DHUB_PREFIX" ]]; then
  : "${DHUB_PREFIX:=bbarker/}"
fi

# If really an empty string, then we interpret as using a local image
# and do not pull:
if ! [ -z "$DHUB_PREFIX" ]; then
  docker pull "${DHUB_PREFIX}${IMG_NAME}:${IMG_VER}"
fi

# Make these directories so docker (root) does not!
mkdir -p ~/.pulp
mkdir -p ~/.Macaulay2
mkdir -p ~/.npm
mkdir -p ~/.npm-packages
mkdir -p ~/.cache
touch ~/.pulp/github-oauth-token

docker run --detach=true --rm -ti \
       --name "$CONT_NAME" \
       --volume "$PWD":/wd \
       --volume "${PSN_FFI}:/opt/purescript-native-ffi" \
       --volume /etc/passwd:/etc/passwd:ro \
       --volume "$HOME/.gitconfig:$HOME/.gitconfig:ro" \
       --volume "$HOME/.ssh:$HOME/.ssh:ro" \
       --volume "$HOME/.pulp:$HOME/.pulp" \
       --volume "$HOME/.cache:$HOME/.cache" \
       --volume "$HOME/.Macaulay2:$HOME/.Macaulay2" \
       --volume "$HOME/.npmrc:$HOME/.npmrc" \
       --volume "$HOME/.npm:$HOME/.npm" \
       --volume "$HOME/.npm-packages:$HOME/.npm-packages" \
       --user "$UID" \
       --workdir /wd \
       -e "XDG_CONFIG_HOME=/wd/.xdg_config_home" \
       -e "XDG_DATA_HOME=/wd/.xdg_data_home" \
       "${DHUB_PREFIX}${IMG_NAME}:${IMG_VER}" "$@" \
& (sleep 1s && docker exec --user=root "$CONT_NAME" chown "${UID}:m2user" "$HOME")

docker attach "$CONT_NAME"

# Add this before the last line (image name) for debugging:
#        --entrypoint "/bin/bash" \