diff --git a/src/bin/sage b/src/bin/sage index 580421eeba6..8a06d16f3b1 100755 --- a/src/bin/sage +++ b/src/bin/sage @@ -404,12 +404,14 @@ usage_advanced() { if [ -n "$SAGE_SRC" -a -f "$SAGE_SRC/tox.ini" ]; then echo " --tox [options] -- general entry point for testing" echo " and linting of the Sage library" - echo " --listenvs -v -- show list of test environments" - echo " -e -- run tests environments" + echo " -e -- run specific test environments (default: run all)" + tox -c "$SAGE_SRC" --listenvs -v 2>/dev/null | sed -n '/->/s/^/ /;s/(same as/\ + (same as/;s/->/ --/p;' + echo " -p auto -- run test environments in parallel" echo " --help -- show tox help" + command -v tox &>/dev/null || \ + echo " (not installed currently, run sage -i tox)" fi - command -v tox &>/dev/null || \ - echo " (not installed currently, run sage -i tox)" echo echo "Some developer utilities:" echo