diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/do_release.sh | 9 | ||||
| -rw-r--r-- | tools/get_p2_url.py | 6 |
2 files changed, 8 insertions, 7 deletions
diff --git a/tools/do_release.sh b/tools/do_release.sh index f510709..8171334 100644 --- a/tools/do_release.sh +++ b/tools/do_release.sh @@ -1,14 +1,15 @@ #!/bin/sh +set -e SOURCE_BRANCH=$(git branch --show-current) RELEASE_TRIGGER=${RELEASE_TRIGGER:-"Manual command-line makefile invocation"} -GIT_AUTHOR_NAME=${GIT_AUTHOR_NAME:-'STM32Square Auto-Release Script'} -GIT_AUTHOR_EMAIL=${GIT_AUTHOR_EMAIL:-'autorelease@stm32square.jaseg.de'} +set -x GIT_AUTHOR_NAME=${GIT_AUTHOR_NAME:-'STM32Square Auto-Release Script'} +set -x GIT_AUTHOR_EMAIL=${GIT_AUTHOR_EMAIL:-'autorelease@stm32square.jaseg.de'} if [ ! -z ${GITLAB_USER_EMAIL+x} ]; then - GIT_COMMITTER_NAME="$GITLAB_USER_NAME" - GIT_COMMITTER_EMAIL="$GITLAB_USER_EMAIL" + set -x GIT_COMMITTER_NAME="$GITLAB_USER_NAME" + set -x GIT_COMMITTER_EMAIL="$GITLAB_USER_EMAIL" fi TIMESTAMP=${TIMESTAMP:-$(date +%y-%m-%d)} diff --git a/tools/get_p2_url.py b/tools/get_p2_url.py index f2162cd..2befda6 100644 --- a/tools/get_p2_url.py +++ b/tools/get_p2_url.py @@ -1,18 +1,18 @@ #!/usr/bin/env python3 -import requests import re -from bs4 import BeautifulSoup import sys import lzma from urllib.parse import urlparse from contextlib import suppress import os from os import path -from tqdm import tqdm import shutil import time from pathlib import Path +import requests +from bs4 import BeautifulSoup + def fucked_up_get(*args, **kwargs): for retry in range(5): for timeout in [0.1, 0.5, 1.0, 2.0, 5.0]: |