github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-21 20:47:08 -05:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #14396 from overleaf/jpa-prettier-module-scripts

Browse source 
[web] enable prettier for module scripts and ignore some more paths

GitOrigin-RevId: f130e420d6fd1a85e85d994d342d49fdffca813a
This commit is contained in:
Jakob Ackermann 2023-08-18 09:59:12 +02:00 committed by Copybot
parent c5bb18045e
commit aa2c200200
2 changed files with 13 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
services/web/.prettierignore
View file

@ -1,6 +1,7 @@
# NOTE: changing paths may require updating them in the Makefile too. # NOTE: changing paths may require updating them in the Makefile too.
data/
scripts/translations/.cache/
node_modules node_modules
modules/**/scripts
frontend/js/vendor frontend/js/vendor
modules/**/frontend/js/vendor modules/**/frontend/js/vendor
public/js public/js

13
services/web/modules/server-ce-scripts/scripts/change-compile-timeout.js
View file

@ -1,5 +1,9 @@
const minimist = require('minimist') const minimist = require('minimist')
const { db, ObjectId, waitForDb } = require('../../../app/src/infrastructure/mongodb') const {
db,
ObjectId,
waitForDb,
} = require('../../../app/src/infrastructure/mongodb')
async function main() { async function main() {
await waitForDb() await waitForDb()
@ -10,7 +14,12 @@ async function main() {
const { 'user-id': userId, 'compile-timeout': rawCompileTimeout } = argv const { 'user-id': userId, 'compile-timeout': rawCompileTimeout } = argv
const compileTimeout = parseInt(rawCompileTimeout, 10) const compileTimeout = parseInt(rawCompileTimeout, 10)
if (!userId || !ObjectId.isValid(userId) || !rawCompileTimeout || Number.isNaN(compileTimeout)) { if (
!userId ||
!ObjectId.isValid(userId) ||
!rawCompileTimeout ||
Number.isNaN(compileTimeout)
) {
console.error( console.error(
`Usage: node ${__filename} --user-id=5a9414f259776c7900b300e6 --timeout=90` `Usage: node ${__filename} --user-id=5a9414f259776c7900b300e6 --timeout=90`
) )