Closed JamesMGreene closed 2 years ago
The scripts to be run when setting up a new Codespace did not run on my first attempt. This is at least partially because the script files were not marked as executable.
This PR corrects their file modes.
Follow-up to #132
The scripts to be run when setting up a new Codespace did not run on my first attempt. This is at least partially because the script files were not marked as executable.
This PR corrects their file modes.
Follow-up to #132