Skip to content

Fix: devcontainer config #34

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Nov 19, 2024
Merged

Fix: devcontainer config #34

merged 3 commits into from
Nov 19, 2024

Conversation

thekaveman
Copy link
Member

Seems like the postAttach.sh script adding the PATH export was breaking the usage of code within the devcontainer. This was super annoying for e.g. git commit --amend when the default editor is set to code!

Also cleans up the repo-local .config/ directory (which was ignored) to just use a workstation-local ~/.config/compiler-admin.

Copy link

Coverage report

This PR does not seem to contain any modification to coverable code.

@thekaveman thekaveman merged commit a3aa5af into main Nov 19, 2024
2 checks passed
@thekaveman thekaveman deleted the fix/devcontainer-config branch November 19, 2024 21:11
@thekaveman thekaveman self-assigned this Nov 19, 2024
@thekaveman thekaveman added the bug Something isn't working label Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant