Update docker/devenv/run-tool.sh

Co-authored-by: Adrien Barreau <[email protected]>
ovh · Apr 8, 2024 · e2adc50 · e2adc50
1 parent c193d70
commit e2adc50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/devenv/run-tool.sh b/docker/devenv/run-tool.sh
@@ -90,7 +90,7 @@ Usage: $0 COMMAND [OPTIONS]
   doc-serve <PORT>     starts a local HTTP python server on PORT to view generated documentation
 
   bash                 spawns an interactive shell to run any arbitrary command in the devenv docker
-  run <COMMAND>        run an arbitrary command in the devenv docker
+  run <COMMAND>        runs an arbitrary command in the devenv docker
   rebuild              forces the rebuild of the devenv docker image that is needed to run all the above commands
 
 EOF