chiark / gitweb /
implement path_id, usb_id, input_id as built-in command