#! /bin/bash -ex

# Download a release of Python (if missing) and remove .exe files from it

version=$1

if [ -z "${version}" ]; then
    echo "Usage: $0 VERSION" >& 2
    echo "" >& 2
    echo "example: $0 2.7.15" >& 2
    exit 1
fi

versionedname=Python-${version}
orig_archive=${versionedname}.tar.xz
new_archive=${versionedname}-noexe.tar.xz

if [ ! -e ${orig_archive} ]; then
    wget -N https://www.python.org/ftp/python/${version}/${orig_archive}
fi

deleted_names=$(tar --list -Jf ${orig_archive} | grep '\.exe$')

# tar --delete does not operate on compressed archives, so do
# xz compression/decompression explicitly
xz --decompress --stdout ${orig_archive} | \
    tar --delete -v ${deleted_names} | \
    xz --compress --stdout -3 -T0 > ${new_archive}