From 1204525e17f3468eb5428e0fd19586043dd3ff07 Mon Sep 17 00:00:00 2001 From: orosmatthew Date: Sun, 19 Nov 2023 20:42:07 -0500 Subject: [PATCH] [web] Add info about changing port in dev --- web/README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/web/README.md b/web/README.md index 3555a36..0faed4e 100644 --- a/web/README.md +++ b/web/README.md @@ -106,10 +106,11 @@ INIT=true npm run dev The `INIT=true` environment variable indicates that the git server should start and that the default login account of username `admin` and password `bw123` should be created. Note that the development server should always be running when programming as it generates types for proper intellisense even if you don't necessarily need to look at the browser output. +If you want to change the port of the development server to match the same port as the built project then you can add the `-- --port=3000` to the end of the dev command as so. - - - +```bash +INIT=true npm run dev -- --port=3000 +``` ## Build Instructions