31 lines
669 B
Bash
Executable file
31 lines
669 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -eu -o pipefail
|
|
|
|
# Check args
|
|
|
|
if [[ "$#" -ne 1 ]]; then
|
|
echo "Usage: php-jsstrip-get-source.sh <version>" >&2
|
|
exit 1
|
|
fi
|
|
|
|
version="$1"
|
|
|
|
# Do the needful
|
|
|
|
repo_url="https://github.com/splitbrain/php-jsstrip"
|
|
repo_dir="php-jsstrip-${version}"
|
|
|
|
if [[ -d "${repo_dir}" ]]; then
|
|
echo "Error: the \"${repo_dir}\" directory already exists" >&2
|
|
exit 1
|
|
fi
|
|
if [[ -f "${repo_dir}.tar.gz" ]]; then
|
|
echo "Error: the \"${repo_dir}.tar.gz\" file already exists" >&2
|
|
exit 1
|
|
fi
|
|
|
|
git clone "${repo_url}" --branch "${version}" --depth 1 -- "${repo_dir}"
|
|
tar --create --file "${repo_dir}.tar.gz" --gzip --exclude-vcs --verbose -- "${repo_dir}"
|
|
|
|
rm -rf "${repo_dir}"
|