mirror of
https://github.com/ckaczor/azuredatastudio.git
synced 2026-02-10 10:12:34 -05:00
28 lines
2.1 KiB
JSON
28 lines
2.1 KiB
JSON
{
|
|
"": [
|
|
"--------------------------------------------------------------------------------------------",
|
|
"Copyright (c) Microsoft Corporation. All rights reserved.",
|
|
"Licensed under the MIT License. See License.txt in the project root for license information.",
|
|
"--------------------------------------------------------------------------------------------",
|
|
"Do not edit this file. It is machine generated."
|
|
],
|
|
"version": "1.0.0",
|
|
"contents": {
|
|
"package": {
|
|
"displayName": "Aktion \"Server bereit\"",
|
|
"description": "URI in Browser öffnen, wenn der Server bereit ist, für den ein Debugging durchgeführt wird.",
|
|
"debug.server.ready.serverReadyAction.description": "Reagieren Sie auf einen URI, wenn ein Serverprogramm beim Debugging bereit ist (wird durch Senden einer Meldung wie \"Port 3000 wird überwacht\" oder \"https://localhost:5001 wird gerade überwacht\" an die Debugging-Konsole signalisiert.)",
|
|
"debug.server.ready.action.description": "Verwendung des URI, wenn der Server bereit ist.",
|
|
"debug.server.ready.action.openExternally.description": "URI mit der Standardanwendung extern öffnen.",
|
|
"debug.server.ready.action.debugWithChrome.description": "Das Debuggen mit dem \"Debugger für Chrome\" beginnen.",
|
|
"debug.server.ready.pattern.description": "Der Server ist bereit, wenn dieses Muster auf der Debugging-Konsole erscheint. Die erste Erfassungsgruppe muss einen URI oder eine Portnummer enthalten.",
|
|
"debug.server.ready.uriFormat.description": "Eine Formatzeichenfolge, die beim Erstellen des URI über eine Portnummer verwendet wird. Das erste '%s' wird durch die Portnummer ersetzt.",
|
|
"debug.server.ready.webRoot.description": "Der an die Debugkonfiguration für den \"Debugger für Chrome\" übermittelte Wert."
|
|
},
|
|
"out/extension": {
|
|
"server.ready.nocapture.error": "URI-Format ('{0}') verwendet einen Ersatzplatzhalter, aber das Muster hat nichts erfasst.",
|
|
"server.ready.placeholder.error": "Das Format des URI ('{0}') muss genau einen Ersatzplatzhalter enthalten.",
|
|
"server.ready.chrome.not.installed": "The action '{0}' requires the '{1}' extension."
|
|
}
|
|
}
|
|
} |