[server-ce] work around npm bug for uninstalling devDependencies (#27512)

Co-authored-by: Brian Gough <brian.gough@overleaf.com>
GitOrigin-RevId: da4c878ae4515672aa67ea77d2d54a08a149e49b
This commit is contained in:
Jakob Ackermann
2025-07-30 16:06:59 +02:00
committed by Copybot
parent cf55be3a8d
commit e907c79bae

View File

@@ -24,7 +24,7 @@ switch (process.argv.pop()) {
// run webpack
console.log('npm run webpack:production')
// uninstall webpack and frontend dependencies
console.log('npm install --omit=dev')
console.log('npm prune --omit=dev')
// Wait for pug precompile to finish
console.log('wait "$pug_precompile"')