diff --git a/elements/pip-manifest/bin/use-pip-manifest b/elements/pip-manifest/bin/use-pip-manifest index fbcb6953a..8c66ef1fb 100755 --- a/elements/pip-manifest/bin/use-pip-manifest +++ b/elements/pip-manifest/bin/use-pip-manifest @@ -21,5 +21,7 @@ manifest=${1:?"Usage: ${0} "} # Comment out the dev versions listed, as they may not be reinstallable sed -i "s/^\(.*[.]dev.*\)$/# \1/g" $manifest +# also dev versions listed via the -e (editable) option +sed -i "s/^\(-e .*\)$/# \1/g" $manifest pip install --no-deps -r $manifest