2019-04-23 10:23:33 -04:00
|
|
|
#!/usr/bin/env bash
|
2013-01-18 17:41:41 +09:00
|
|
|
# Usage: pyenv version-file-write <file> <version>
|
|
|
|
|
|
2012-08-31 15:23:41 +09:00
|
|
|
set -e
|
|
|
|
|
[ -n "$PYENV_DEBUG" ] && set -x
|
|
|
|
|
|
|
|
|
|
PYENV_VERSION_FILE="$1"
|
2014-01-03 02:05:40 +09:00
|
|
|
shift || true
|
2012-09-07 19:16:42 +09:00
|
|
|
versions=("$@")
|
2012-08-31 15:23:41 +09:00
|
|
|
|
2012-09-07 19:16:42 +09:00
|
|
|
if [ -z "$versions" ] || [ -z "$PYENV_VERSION_FILE" ]; then
|
2013-01-18 17:41:41 +09:00
|
|
|
pyenv-help --usage version-file-write >&2
|
2012-08-31 15:23:41 +09:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# Make sure the specified version is installed.
|
2013-02-01 12:46:57 +09:00
|
|
|
pyenv-prefix "${versions[@]}" >/dev/null
|
2012-08-31 15:23:41 +09:00
|
|
|
|
|
|
|
|
# Write the version out to disk.
|
2014-09-07 16:56:40 +02:00
|
|
|
# Create an empty file. Using "rm" might cause a permission error.
|
|
|
|
|
> "$PYENV_VERSION_FILE"
|
2012-09-07 19:16:42 +09:00
|
|
|
for version in "${versions[@]}"; do
|
2012-08-31 19:39:29 +09:00
|
|
|
echo "$version" >> "$PYENV_VERSION_FILE"
|
2012-08-31 16:09:46 +09:00
|
|
|
done
|