Error Message/Missing PreTeXt Button

[Cara Sulyok]

I'm not quite sure what I'm doing wrong. It's been since May since I opened a particular respository. When it opens in a codespace, I either get this error: "The workbench failed to connect to the server (Error: exception was thrown by handler. exception: failed to start vs code remote server due to low disk space. export your changes and create a new codespace to continue working.)" or I don't have the PreTeXt button (and when I type PreTeXt in the search, nothing comes up. I've tried deleting out my codespace and opening a new one several times, but keep ending up in one of the two scenarios. Any help would be greatly appreciated!

Thank you,

Cara

[Oscar Levin]

In your codespace, you should be able to find a file in `.devcontainer` called `devcontainer.json`.  We need to update the contents of that to get a working codespace.  Replace it's content with the one here: https://raw.githubusercontent.com/PreTeXtBook/pretext-codespace/refs/heads/main/.devcontainer/devcontainer.json

You should be prompted to rebuild your container, but if not, you can open the command palette and search for that command (the command palette pops up if you hit CTRL+SHIFT+P, or F1, or if you type ">" in the search bar at the top).