10 lines
428 B
Bash
Executable File
10 lines
428 B
Bash
Executable File
# This variabe should contain the GUID of the group responsible for the serial
|
|
# devices (e.g., 'dialout' for Ubuntu or 'uucp' for Arch)
|
|
USB_GUID=986
|
|
|
|
# This variable should contain the path to the serial device corresponding to
|
|
# the ESP32 board (e.g., '/dev/ttyUSB0' or '/dev/ttyACM0').
|
|
USB_DEV=/dev/ttyUSB0
|
|
|
|
docker run --device=${USB_DEV} --rm --user $(id -u):${USB_GUID} -v $PWD:/project -w /project -it hyperlink idf.py $@
|