Deploy: Use `npm run dev` instead of `npm run dist`

`dev` is significantly faster than `dist`. `dist` uses a source mapping
algorithm that's good for production, but much slower than the one used
by `dev`. See https://github.com/guardicore/monkey/issues/1879 for more
details.
This commit is contained in:
Mike Salvatore 2022-05-10 08:15:22 -04:00
parent 28f60d51ff
commit 68d709c158
2 changed files with 2 additions and 2 deletions

View File

@ -205,7 +205,7 @@ pushd "$ISLAND_PATH/cc/ui" || handle_error
npm ci npm ci
log_message "Generating front end" log_message "Generating front end"
npm run dist npm run dev
popd || handle_error popd || handle_error
# Making dir for binaries # Making dir for binaries

View File

@ -240,7 +240,7 @@ function Deploy-Windows([String] $monkey_home = (Get-Item -Path ".\").FullName,
"Updating npm" "Updating npm"
Push-Location -Path (Join-Path -Path $monkey_home -ChildPath $MONKEY_ISLAND_DIR | Join-Path -ChildPath "\cc\ui") Push-Location -Path (Join-Path -Path $monkey_home -ChildPath $MONKEY_ISLAND_DIR | Join-Path -ChildPath "\cc\ui")
& npm update & npm update
& npm run dist & npm run dev
Pop-Location Pop-Location
# Create infection_monkey/bin directory if not already present # Create infection_monkey/bin directory if not already present