João Brázio
6 months ago
No known key found for this signature in database
GPG Key ID: 56A1490716A324DD
1 changed files with
5 additions and
3 deletions
-
.devcontainer/devcontainer.json
|
|
|
@ -9,10 +9,12 @@ |
|
|
|
} |
|
|
|
}, |
|
|
|
"runArgs": [ |
|
|
|
"--network=host", |
|
|
|
"--privileged", |
|
|
|
"--volume", |
|
|
|
"/dev/bus/usb:/dev/bus/usb" |
|
|
|
// arch tty* is owned by uucp (986) |
|
|
|
// debian tty* is owned by uucp (20) - no change needed |
|
|
|
"--group-add=986", |
|
|
|
"--network=host", |
|
|
|
"--volume=/dev/bus/usb:/dev/bus/usb:ro" |
|
|
|
], |
|
|
|
"postCreateCommand": { |
|
|
|
"platformio": "pipx install platformio" |
|
|
|
|