claudeandClaude Sonnet 4.6
0caa4ff144
Build and Deploy Verso / deploy (push) Successful in 12m35s
Branch: - New "Branch" text field (default: main) stored in gitSyncBranch on the project. Used for git fetch, symbolic-ref, and push target. Validated server-side: alphanumeric + / _ . - only, no .. First-push confirmation: - When pushFiles is enabled and the user hasn't confirmed for the current subPath, clicking "Push now" shows an inline warning: "The <subPath> directory will be completely replaced …" with "Yes, push and replace" / "Cancel" buttons. - Confirmation is stored in localStorage keyed by projectId+subPath, so it's shown again if the subPath is changed. - Auto-push bypasses the dialog (user already opted in explicitly). PDF-only replace: - Already correct with the fetch-first approach: only the specific file at pdfPath is written; other files in the same directory (e.g. output/old.pdf) are preserved from the fetched remote state. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
70 lines
4.5 KiB
Plaintext
70 lines
4.5 KiB
Plaintext
meta(name="ol-project_id" content=project_id)
|
|
meta(name="ol-projectName" content=projectName)
|
|
meta(name="ol-canUseClsiCache" data-type="boolean" content=canUseClsiCache)
|
|
meta(name="ol-userSettings" data-type="json" content=userSettings)
|
|
meta(name="ol-user" data-type="json" content=user)
|
|
meta(name="ol-learnedWords" data-type="json" content=learnedWords)
|
|
meta(name="ol-anonymous" data-type="boolean" content=anonymous)
|
|
meta(name="ol-brandVariation" data-type="json" content=brandVariation)
|
|
meta(name="ol-isTokenMember" data-type="boolean" content=isTokenMember)
|
|
meta(name="ol-isRestrictedTokenMember" data-type="boolean" content=isRestrictedTokenMember)
|
|
meta(name="ol-maxDocLength" data-type="number" content=maxDocLength)
|
|
meta(name="ol-maxReconnectGracefullyIntervalMs" data-type="number" content=maxReconnectGracefullyIntervalMs)
|
|
meta(name="ol-wikiEnabled" data-type="boolean" content=settings.proxyLearn)
|
|
meta(name="ol-capabilities" data-type="json" content=capabilities)
|
|
meta(name="ol-gitBridgePublicBaseUrl" content=gitBridgePublicBaseUrl)
|
|
meta(name="ol-gitBridgeEnabled" data-type="boolean" content=gitBridgeEnabled)
|
|
meta(name="ol-gitSyncEnabled" data-type="boolean" content=gitSyncEnabled)
|
|
meta(name="ol-gitRemote" content=gitRemote)
|
|
meta(name="ol-gitSyncPath" content=gitSyncPath)
|
|
meta(name="ol-gitSyncPdfPath" content=gitSyncPdfPath)
|
|
meta(name="ol-gitSyncPushFiles" data-type="boolean" content=gitSyncPushFiles)
|
|
meta(name="ol-gitSyncPushPdf" data-type="boolean" content=gitSyncPushPdf)
|
|
meta(name="ol-gitSyncBranch" content=gitSyncBranch)
|
|
meta(name="ol-compilesUserContentDomain" content=settings.compilesUserContentDomain)
|
|
//- enable doc hash checking for all projects
|
|
//- used in public/js/libs/sharejs.js
|
|
meta(name="ol-useShareJsHash" data-type="boolean" content=true)
|
|
meta(name="ol-wsUrl" data-type="string" content=wsUrl)
|
|
meta(name="ol-wsRetryHandshake" data-type="json" content=settings.wsRetryHandshake)
|
|
meta(name="ol-debugPdfDetach" data-type="boolean" content=debugPdfDetach)
|
|
meta(name="ol-showSymbolPalette" data-type="boolean" content=showSymbolPalette)
|
|
meta(name="ol-symbolPaletteAvailable" data-type="boolean" content=symbolPaletteAvailable)
|
|
meta(name="ol-showAiFeatures" data-type="boolean" content=showAiFeatures)
|
|
meta(name="ol-hasUnlimitedAi" data-type="boolean" content=hasUnlimitedAi)
|
|
meta(name="ol-hasAiFreeTier" data-type="boolean" content=hasAiFreeTier)
|
|
meta(name="ol-detachRole" data-type="string" content=detachRole)
|
|
meta(name="ol-defaultLatexCompiler" data-type="string" content=defaultLatexCompiler)
|
|
meta(name="ol-imageNames" data-type="json" content=imageNames)
|
|
meta(name="ol-languages" data-type="json" content=languages)
|
|
meta(name="ol-editorThemes" data-type="json" content=editorThemes)
|
|
meta(name="ol-legacyEditorThemes" data-type="json" content=legacyEditorThemes)
|
|
meta(name="ol-showUpgradePrompt" data-type="boolean" content=showUpgradePrompt)
|
|
meta(name="ol-showSupport" data-type="boolean" content=showSupport)
|
|
meta(name="ol-showTemplatesServerPro" data-type="boolean" content=showTemplatesServerPro)
|
|
meta(name="ol-hasTrackChangesFeature" data-type="boolean" content=hasTrackChangesFeature)
|
|
meta(name="ol-otMigrationStage" data-type="number" content=otMigrationStage)
|
|
meta(name="ol-inactiveTutorials" data-type="json" content=user.inactiveTutorials)
|
|
meta(name="ol-projectTags" data-type="json" content=projectTags)
|
|
meta(name="ol-ro-mirror-on-client-no-local-storage" data-type="boolean" content=roMirrorOnClientNoLocalStorage)
|
|
meta(name="ol-isSaas" data-type="boolean" content=isSaas)
|
|
meta(name="ol-shouldLoadHotjar" data-type="boolean" content=shouldLoadHotjar)
|
|
meta(name='ol-customerIoEnabled' data-type="boolean" content=customerIoEnabled)
|
|
meta(name='ol-compileSettings' data-type="json" content=compileSettings)
|
|
meta(name="ol-addonPrices" data-type="json" content=addonPrices)
|
|
if (standardPlanPricing)
|
|
meta(
|
|
name='ol-recommendedCurrency'
|
|
data-type='string'
|
|
content=recommendedCurrency
|
|
)
|
|
meta(name="ol-standardPlanPricing" data-type="json" content=standardPlanPricing)
|
|
// translations for the loading page, before i18n has loaded in the client
|
|
meta(name="ol-loadingText" data-type="string" content=translate("loading"))
|
|
meta(name="ol-translationIoNotLoaded" data-type="string" content=translate("could_not_connect_to_websocket_server"))
|
|
meta(name="ol-translationLoadErrorMessage" data-type="string" content=translate("could_not_load_translations"))
|
|
meta(name="ol-translationUnableToJoin" data-type="string" content=translate("could_not_connect_to_collaboration_server"))
|
|
meta(name="ol-overallThemes" data-type="json" content=overallThemes)
|
|
|
|
!= moduleIncludes("editor:meta", locals)
|