PropX-Tinker console reference

The PropX-Tinker serial console: gpio commands, the box MP3 player, buttons and the RGB light, and how to update or replace the open-source firmware.

Everything on the Tinker is driven from the serial console over USB-C (115200 baud). Commands aren't case-sensitive; file names are. This replaces the app/WiFi/cloud guides the other PropX models use — the Tinker has none of those by design.

Top-level commands

CommandWhat it does
lsList the MicroSD card's root folder
mount(Re)mount the MicroSD card
boxEnter the MP3 player / file browser
gpioList the configurable pins and their state
gpio <pin> <action>Configure or drive a pin

Driving pins — gpio

Pins 1, 2, 3, 9, 17, 42 reconfigure live:

ActionMeaning
in / up / downinput — floating / pulled up / pulled down
outoutput (starts LOW)
hi / lo / togdrive HIGH / LOW / toggle
rdread the level

Example: gpio 17 out then gpio 17 hi. GPIO3 and GPIO17 have no external pull — give them up or down before trusting them as inputs.

Playing music — box

Needs a mounted FAT32 card:

CommandWhat it does
ls / cd <dir> / cd ..browse folders (MP3s are numbered)
play <n> / stopplay track n / stop
vol <1-20>volume (20 = loudest)
exitleave the browser

Dot-files are skipped. Audio is line level — powered speakers or headphones.

Buttons and the RGB light

The four buttons print press/release events; two cycle the RGB light through ten colors (which two — #99).

Updating (or replacing) the firmware

No over-the-air updates: pull the latest from github.com/propexperience/tinker and pio run -t upload. Won't take an upload? Hold BOOT, tap RESET, release BOOT, retry.

It's open source. Read it, change it (src/main.cpp is the whole firmware), contribute back via the repo's CONTRIBUTING.md. (License being finalized — #89.)

⚠️ Warning: custom firmware replaces everything on these pages, including safe defaults like outputs-off-at-boot.

← All PropX-Tinker guides

Was this helpful?