29 lines
764 B
Bash
29 lines
764 B
Bash
|
#! /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}
|