diff --git a/Dockerfile b/Dockerfile index c9ee6cf8..08000c69 100644 --- a/Dockerfile +++ b/Dockerfile @@ -67,7 +67,7 @@ ADD ./archivebox.egg-info/requires.txt "$CODE_DIR/archivebox.egg-info/requires.t RUN apt-get update -qq \ && apt-get install -qq -y --no-install-recommends \ build-essential python-dev python3-dev \ - && grep -B -1 -E '^$' "$CODE_DIR/archivebox.egg-info/requires.txt" | pip install --quiet -r /dev/stdin \ + && grep -B 1000 -E '^$' "$CODE_DIR/archivebox.egg-info/requires.txt" | pip install --quiet -r /dev/stdin \ && apt-get purge -y build-essential python-dev python3-dev \ && apt-get autoremove -y \ && rm -rf /var/lib/apt/lists/* diff --git a/bin/release.sh b/bin/release.sh index cadd69ed..4cb2021d 100755 --- a/bin/release.sh +++ b/bin/release.sh @@ -37,12 +37,14 @@ cd "$DIR" if [ -z "$(git status --porcelain)" ] && [[ "$(git branch --show-current)" == "master" ]]; then git pull else - echo "[X] Commit your changes and make sure git is checked out on clean master." - exit 4 + echo "[!] Warning: git status is dirty!" + echo " Press Ctrl-C to cancel, or wait 10sec to continue..." + sleep 10 fi echo "[*] Bumping VERSION from $OLD_VERSION to $NEW_VERSION" echo "$NEW_VERSION" > "$VERSION_FILE" +git add "$DIR/docs" git add "$VERSION_FILE" git commit -m "$NEW_VERSION release" git tag -a "v$NEW_VERSION" -m "v$NEW_VERSION"