# 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 $@