Commit c0711e2
authored
Add devcontainer.json to ease local dev environment setup (#13638)
* Added devcontainer.json
Added devcontainer.json
* Moved file to devcontainer folder
Moved devcontainer.json to devcontainer folder
* Documented Dev Container setup in README
Section 'Using Docker Image' rephrased to include Dev Container setup documentation
* Added back the original section 'Using Docker Image'
Dev Container section separated from Docker Image section
---------
Co-authored-by: Trig <[email protected]>1 parent 5bc8952 commit c0711e2
2 files changed
Lines changed: 16 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
101 | 101 | | |
102 | 102 | | |
103 | 103 | | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
104 | 111 | | |
105 | 112 | | |
106 | 113 | | |
107 | 114 | | |
108 | 115 | | |
109 | 116 | | |
110 | | - | |
111 | 117 | | |
112 | 118 | | |
113 | 119 | | |
| |||
0 commit comments