Add bootstrap pip spec to the integration test docs

[jtpio]

Update the docs to run the integration tests locally.

The bootstrap_pip_spec parameter can be specified before the test files to avoid shifting the arguments, similar to the Circle CI script:

the-littlest-jupyterhub/.circleci/config.yml

Lines 59 to 61 in 01ba348

	.circleci/integration-test.py run-test basic-tests \
	"$BOOTSTRAP_PIP_SPEC" test_hub.py test_install.py test_extensions.py \
	<< parameters.upgrade >>

• Add / update documentation
• Add tests

[jtpio]

As an alternative, we might also want to specify the full bootstrap pip spec instead of "".

[GeorgianaElena]

Great catch @jtpio. I didn't realize the instructions were no longer up to date after updating the tests 😕

Since the bootstrap_pip_spec arg was added for the upgrade tests, I don't think is of much relevance when running the integration tests. Now thinking, if I'd have made the bootstrap_pip_spec argument optional, we wouldn't have needed to force people add an empty string in the list of args (which can easily be forgotten) or the entire pip spec of TLJH.

What do you think about making the bootstrap_pip_spec so that if people want to use it, they would do so with:

--bootrap_pip_spec <some-pip-spec>

And if they just want the default one, they just run the tests as usual, no empty string needed.

Update: Opened #563 with this change

[jtpio]

And if they just want the default one, they just run the tests as usual, no empty string needed.

That would be really nice. An empty string is not very explicit and after reading the updated docs again (from this change), it felt a bit odd. An optional parameter sounds good 👍

Update: Opened #563 with this change

Great, thanks!

I can update this PR to the mention the optional bootstrap_pip_spec in the docs. Or we can also close it and do everything in #563, that also works.

[GeorgianaElena]

@jtpio, I've just merged #563.
I'd be great if you could update this PR 🚀

[jtpio]

Perfect!

Just updated the PR and rebased on the latest master.

[GeorgianaElena]

Great! Thanks @jtpio 🌞