Informationen zum Umbenennen eines Codespaces
Wenn du einen Codespace erstellst, wird ihm ein automatisch generierter Anzeigename zugewiesen. Wenn du über mehrere Codespaces verfügst, hilft dir der Anzeigename, Codespaces zu unterscheiden. Beispiel: literate space parakeet
. Du kannst den Anzeigenamen für deinen Codespace ändern.
So suchst du nach dem Anzeigenamen eines Codespace:
-
Zeige unter GitHub Enterprise Cloud deine Liste der Codespaces unter https://github.com/codespaces an.
-
Klicke in der Visual Studio Code-Desktopanwendung oder dem VS Code-Webclient auf den Remote-Explorer. Der Anzeigename ist das zweite Element in der Liste. Beispiel:
psychic chainsaw
im folgenden Screenshot.Hinweis: Wenn der Remote-Explorer nicht in der Aktivitätsleiste angezeigt wird:
- Öffne die Befehlspalette. Zum Beispiel durch Drücken von UMSCHALT+Befehlstaste+P (Mac) / STRG+UMSCHALT+P (Windows/Linux).
- Geben Sie Folgendes ein:
details
. - Klicke auf Codespaces: Details.
-
Verwende in einem Terminalfenster auf deinem lokalen Computer diesen GitHub CLI-Befehl:
gh codespace list
.
Permanente Codespacenamen
Neben einem Anzeigenamen verfügt jeder Codespace auch über einen eindeutigen, dauerhaften Namen. Der permanente Name ist eine Kombination aus dem anfänglichen Anzeigenamen, gefolgt von einigen zufälligen Zeichen , z. B. literate-space-parakeet-w5vg5ww5p793g7g9
. Du kannst den permanenten Namen nicht ändern.
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 denobscure-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.
Umbenennen eines Codespaces
Das Ändern des Anzeigenamens eines Codespaces kann nützlich sein, wenn du mehrere Codespaces hast, die du für einen längeren Zeitraum verwendest. Ein geeigneter Name hilft dir, einen Codespace zu identifizieren, den du für einen bestimmten Zweck verwendest.
Wenn du die GitHub CLI installiert hast, kannst du sie für die Arbeit mit GitHub Codespaces verwenden. Installationsanweisungen für GitHub CLI findest du im GitHub CLI-Repository.
Verwende den Unterbefehl gh codespace edit
, um den Anzeigenamen eines Codespaces zu ändern:
gh codespace edit -c PERMANENT-CODESPACE-NAME -d 'NEW-DISPLAY-NAME'
Ersetze in diesem Beispiel PERMANENT-CODESPACE-NAME
durch den permanenten Namen des Codespaces, dessen Anzeigenamen du ändern möchtest. Ersetze NEW-DISPLAY-NAME
durch den Anzeigenamen, den du für diesen Codespace verwenden möchtest.
Anzeigenamen können bis zu 48 Zeichen lang sein. Der Anzeigename kann eine beliebige Kombination von Zeichen enthalten, einschließlich Leerzeichen, sofern Sie ihn in einfache Anführungszeichen setzen.
Weitere Informationen findest du unter GitHub Codespaces mit GitHub CLI verwenden.
Sie können den Anzeigenamen für Ihren Codespace auf GitHub ändern.
-
Wählen Sie in der oberen linken Ecke von GitHub aus, und klicken Sie dann auf Codespaces, um zur Seite „Eigene Codespaces“ auf github.com/codespaces zu gelangen.
The current display name for each of your codespaces is displayed.
-
Klicke rechts neben dem Codespace, den du ändern möchtest, auf die Auslassungspunkte (...).
-
Klicke auf Umbenennen.
-
Gib in der Eingabeaufforderung unter „Anzeigenamen ändern in…“ den gewünschten Anzeigenamen ein, und klicke auf OK.