Robin Windey
|
9dd158b70d
Devcontainer: move git setup to postStartCommand
|
1 жил өмнө |
Robin Windey
|
849b7de681
Move launch.json to .devcontainer and copy on start
|
1 жил өмнө |
Robin Windey
|
3f69e1232d
Move git safe.directory to earlier stage
|
1 жил өмнө |
Robin Windey
|
dfbd1fbe79
Dedicated DevContainer user + NVM
|
1 жил өмнө |
Robin Windey
|
a32e8db703
Minor DevContainer adjustments
|
1 жил өмнө |
Robin Windey
|
16c14c059d
Minor improvements for devcontainer
|
1 жил өмнө |
Lukas Reschke
|
7f983cc549
Add initial support for GitHub codespaces
|
3 жил өмнө |