From 059fb16a353529e7eb776903cab1787ff61c8126 Mon Sep 17 00:00:00 2001 From: Matthias Date: Fri, 5 Jul 2024 08:28:09 +0200 Subject: [PATCH] docs: improve dev setup docs --- docs/developer.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/developer.md b/docs/developer.md index 705e8d116..8cf20d966 100644 --- a/docs/developer.md +++ b/docs/developer.md @@ -22,7 +22,7 @@ This will spin up a local server (usually on port 8000) so you can see if everyt ## Developer setup To configure a development environment, you can either use the provided [DevContainer](#devcontainer-setup), or use the `setup.sh` script and answer "y" when asked "Do you want to install dependencies for dev [y/N]? ". -Alternatively (e.g. if your system is not supported by the setup.sh script), follow the manual installation process and run `pip3 install -e .[all]`. +Alternatively (e.g. if your system is not supported by the setup.sh script), follow the manual installation process and run `pip3 install -r requirements-dev.txt` - followed by `pip3 install -e .[all]`. This will install all required tools for development, including `pytest`, `ruff`, `mypy`, and `coveralls`.