documentation/ci/docker-linkcheck.sh
TheAssassin cc7db833df Move CI-related files into new ci subdir
Also removes an unnecessary dependency from the requirements file.
2021-11-28 22:12:34 +01:00

17 lines
476 B
Bash

#! /bin/bash
set -e
set -o pipefail
set -x
this_dir="$(readlink -f -- "$(dirname -- "${BASH_SOURCE[0]}")")"
image="python:3-alpine"
# as we use a pipe to stdin and thus cannot use -it, Ctrl-C does not work by default
# turns out that combining -i with --init solves that problem
# see https://stackoverflow.com/a/60812082
docker run --rm -i -v "$this_dir"/..:/ws -w /ws --init "$image" sh <<\EOF
pip install -r ci/linkcheck-requirements.txt
python linkcheck.py
EOF