Codespace läuft im Wiederherstellungsmodus

Gelegentlich kann es vorkommen, dass Ihr Codespace in einen „Wiederherstellungsmodus“ (engl. „recovery mode“) gerät, weil ein externer Dienst ausgefallen ist, ein Fehler bei der Erstellung des ContainersAbgeschottete Umgebung mit einem eigenen kleinen Linux und fertig installierten Programmen, die auf Ihrem Rechner läuft, ohne Ihr System zu verändern. Glossar → aufgetreten ist oder die Datei .devcontainer.json fehlerhaft geändert wurde. Die meisten CS50-Befehle, wie check50Prüfprogramm von CS50: Es testet Ihr Programm mit vorgegebenen Eingaben und zeigt mit fröhlichen und traurigen Gesichtern, welche Tests es besteht. Glossar → und style50Prüfprogramm von CS50, das zeigt, wo Ihr Code von den Formatierungsregeln abweicht. In Grün zeigt es, was Sie ergänzen sollten, in Rot, was wegfallen soll. Glossar →, funktionieren dann nicht und Sie können Ihren Code nicht mit CS50-BibliothekenSammlung fertiger Funktionen, die Sie in eigenen Programmen aufrufen, zum Beispiel printf aus der Standardbibliothek von C oder get_int aus der CS50-Bibliothek. Glossar → kompilierenProgramm, das Quellcode in Maschinencode übersetzt; diesen Vorgang nennt man kompilieren. Jedes C-Programm muss kompiliert werden, bevor es laufen kann. Glossar →.

Im Wiederherstellungsmodus würde Ihr TerminalFenster, in dem Sie dem Computer Befehle als Text eintippen statt zu klicken. In VS Code liegt es im unteren Bereich des Fensters. Glossar → wie folgt aussehen:

@githubBenutzername -> /workspaces/githubId (main) $

Normalerweise sollte Ihr Terminal nur ein einzelnes Dollarzeichen enthalten:

$

Beheben des Problems

1. Führen Sie den folgenden Befehl in einem neuen Terminal aus.

   curl -fsSL https://inf.zone/devcontainer.json -o /workspaces/$RepositoryName/.devcontainer.json

2. Stellen Sie sicher, dass die ErweiterungZusatzmodul, das VS Code um Funktionen ergänzt, etwa „Dev Containers“ oder „GitHub Codespaces“. Sie installieren es im Extensions-Panel (Strg+Shift+X). Glossar → „GitHub Codespaces“ installiert ist. Dies können Sie einfach durch Eingabe des folgenden Befehls sicherstellen.

   code --install-extension GitHub.codespaces

3. Nach der Installation der Erweiterung „GitHub Codespaces“ drücken Sie Command + Shift + P (unter macOS) oder Strg + Shift + P (unter Windows), suchen nach Codespaces: Rebuild Container und drücken dann die Eingabetaste auf der Tastatur. Nun öffnet sich ein weiteres Fenster, hier wählen Sie die Option „Full Rebuild“ (nicht „Rebuild“), um Ihren Codespace neu zu erstellen. Ihre Dateien gehen hierbei nicht verloren!

4. Ihr Codespace wird gestartet, sobald der Wiederherstellungsprozess abgeschlossen ist. Dabei richtet er sich wieder für den Kurs ein, samt inf. Fehlt inf danach doch, steht unter Abgeben mit inf, was zu tun ist.