2012-10-02 23:19:42 -04:00
|
|
|
#!/usr/bin/env bash
|
2013-01-18 03:41:41 -05:00
|
|
|
# Usage: pyenv push <version>
|
2012-10-02 23:19:42 -04:00
|
|
|
set -e
|
|
|
|
|
[ -n "$PYENV_DEBUG" ] && set -x
|
|
|
|
|
|
|
|
|
|
IFS=: PYENV_VERSION_NAMES=($(pyenv-version-name))
|
|
|
|
|
versions=("$@")
|
|
|
|
|
PYENV_VERSION_NAMES=("${PYENV_VERSION_NAMES[@]}" "${versions[@]}")
|
|
|
|
|
|
2013-06-12 23:06:46 -04:00
|
|
|
echo "WARNING: The \`push' command will be removed from pyenv. Please install https://github.com/yyuu/pyenv-version-ext." 1>&2
|
|
|
|
|
|
2012-10-02 23:19:42 -04:00
|
|
|
if [ -n "$PYENV_VERSION" ]; then
|
|
|
|
|
IFS=: PYENV_VERSION="${PYENV_VERSION_NAMES[*]}"
|
|
|
|
|
echo "export PYENV_VERSION=\"${PYENV_VERSION}\""
|
|
|
|
|
else
|
|
|
|
|
pyenv-version-file-write "$(pyenv-version-file)" "${PYENV_VERSION_NAMES[@]}"
|
|
|
|
|
fi
|
