MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 15:06:56 +07:00
Code Issues Packages Projects Releases Wiki Activity

[jps caches] Add configuration settings for cache download

Browse Source 
GitOrigin-RevId: a2abd62bd7e4afe5efa7c0a71df983fdd7c43617
This commit is contained in:
Mikhail Mazurkevich
2022-06-30 00:58:00 +04:00
committed by intellij-monorepo-bot
parent 63c4ffc2bc
commit 4966f7ef3c
15 changed files with 579 additions and 66 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/compiler/openapi/resources/messages/JavaCompilerBundle.properties
View File

@@ -330,6 +330,11 @@ progress.preparing.wsl.build.environment=Preparing WSL build environment...
plugins.advertiser.feature.artifact=artifact
notification.group.compiler=Build finished
compiler.cache.description=Compiler Cache
compiler.cache.option.force.update=Force update caches
compiler.cache.option.disable.update=Disable cache download
compiler.cache.option.max.download.time=Maximum duration of caches download:
compiler.cache.option.max.download.time.units= mins
notification.title.jps.caches.downloader=Jps caches downloader
notification.content.internal.authentication.plugin.required.for.correct.work=<a href="https://plugins.jetbrains.com/plugin/14567-jetbrains-internal-authentication">JetBrains Internal Authentication</a> is required for the correct work of JPS Caches
internal.authentication.plugin.missing.token=Unexpected state: jetbrains.team token is missing. Please report this exception and perform actions 'Logout from JetBrains.team' and 'Login to JetBrains.team' as a workaround