Device ID

ondevice uses so called devIds to name devices.
They are similar to regular host names, but don’t resolve to IP addresses.

devIds are scoped to your account. Each of your devices has a unique devId.
devIds are case insensitive.

Initially, each device gets a random, 6 character devId. You can rename your devices in your control panel or using:

ondevice device $devId set on:id=$newId