Arbeiten mit Unterstützung für GitHub Codespaces

Damit dir der Support bei Problemen mit Codespaces helfen kann, musst du den permanenten Namen des Codespace und seine Codespaces-ID (Bezeichner) kennen. Darüber hinaus bittet dich der Support möglicherweise um einige Protokolle. Weitere Informationen findest du unter GitHub Codespaces-Protokolle und unter Informationen zum GitHub Support.

Codespace-Namen

Jeder Codespace hat zwei Namen: einen Anzeigenamen, den Sie ändern können und einen eindeutigen, dauerhaften Namen, den Sie nicht ändern können. Wenn Sie keinen Codespace mit dem Befehl GitHub CLI erstellen und einen Anzeigenamen Ihrer Wahl angeben, wird der Anzeigename automatisch generiert, wenn Sie einen Codespace erstellen und besteht aus zwei oder drei zufälligen Wörtern, zum Beispiel literate space parakeet. Der permanente Name ist eine Kombination aus dem anfänglichen Anzeigenamen, gefolgt von einigen zufälligen Zeichen , z. B. literate-space-parakeet-w5vg5ww5p793g7g9. Wenn Sie den Anzeigenamen ändern, bleibt der permanente Name davon unberührt. Weitere Informationen findest du unter Umbenennen eines Codespaces.

Sie müssen gelegentlich den permanenten Namen eines Codespaces kennen. Zum Beispiel, wenn Sie einige GitHub CLI-Befehle verwenden, oder wenn Sie einen bestimmten Codespace mit GitHub-Support diskutieren.

Um den permanenten Namen eines Codespaces zu ermitteln, führen Sie einen der folgenden Schritte aus:

• Öffne den Codespace im Browser. Die Unterdomäne der URL ist der Name des Codespace. Beispiel: https://obscure-space-engine-grx7rgg6qp43v9j5.github.dev ist die URL für den obscure-space-engine-grx7rgg6qp43v9j5-Codespace.
• Wenn Sie einen Codespace nicht öffnen können, können Sie den Namen in der Liste der Codespaces unter https://github.com/codespaces aufrufen. Klicken Sie mit der rechten Maustaste auf den Anzeigenamen des Codespaces und wählen Sie die Option Ihres Browsers aus, um die Linkadresse zu kopieren. Der letzte Teil der URL, die Sie kopieren, ist der permanente Name des Codespaces.
• Verwende in einem Codespace diesen Befehl im Terminal: echo $CODESPACE_NAME.
• Wenn GitHub CLI installiert ist, entweder lokal oder in einem Codespace, verwenden Sie diesen Befehl im Terminal, um alle Ihre Codespaces aufzulisten: gh codespace list.

Der permanente Name des Codespace ist auch in vielen der Protokolldateien enthalten. Beispielsweise im GitHub Codespaces-Erweiterungsprotokoll nach fetching codespace oder Connecting to codespace und im Browserkonsolenprotokoll nach clientUrl. Weitere Informationen findest du unter GitHub Codespaces-Protokolle.

Codespace-IDs

Jeder Codespace verfügt auch über eine ID (Bezeichner). Dies wird nicht standardmäßig in Visual Studio Code angezeigt. Daher musst du eventuell die Einstellungen für die GitHub Codespaces-Erweiterung aktualisieren, bevor du auf die ID zugreifen kannst.

1. Klicke in Visual Studio Code (im Browser oder auf dem Desktop) in der Aktivitätsleiste links auf Remote-Explorer, um Details für den Codespace anzuzeigen.

   Hinweis: Wenn der Remote-Explorer nicht in der Aktivitätsleiste angezeigt wird:

   1. Öffne die Befehlspalette. Zum Beispiel durch Drücken von UMSCHALT+Befehlstaste+P (Mac) / STRG+UMSCHALT+P (Windows/Linux).
   2. Geben Sie Folgendes ein: details.
   3. Klicke auf Codespaces: Details.

2. Wenn die Randleiste den Abschnitt „Codespaceleistung“ enthält, zeige mit dem Mauszeiger auf die Codespace-ID und klicke auf das Zwischenablagesymbol, um die ID zu kopieren.

3. Wenn die Informationen nicht angezeigt werden, klicken Sie auf in der unteren linken Ecke der Aktivitätsleiste und klicken Sie auf Einstellungen.

4. Suchen Sie dann auf der Registerkarte Einstellungen nach „Leistung“ und wählen Sie dann unter „GitHub > Codespaces: Leistungs-Explorer anzeigen“ das Kontrollkästchen „Codespace-Leistungsfenster im Remote-Explorer anzeigen“ aus.