From e5054dff71ff009520f12165a0441c8b256a6d0e Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Mon, 18 Sep 2023 19:33:13 +0000
Subject: [PATCH] update dev commands on Binder

---
 binder/postBuild | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/binder/postBuild b/binder/postBuild
index afc1a01756..e983a61a1b 100644
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -1,7 +1,5 @@
 #!/bin/bash
 set -euo pipefail
 
-python -m pip install -e . --force-reinstall
-
-jlpm && jlpm run build
-jlpm run develop
+python -m pip install -e ".[dev,test]"
+jlpm develop