ondevice uses so called
devIds (“device IDs”) to identify devices.
They are similar to regular host names, but don’t resolve to IP addresses.
devIds are scoped to your ondevice.io account. Each of your devices has a unique, case insensitive devId.
Initially, each device gets a random, 6 character alphanumeric devId. You can rename your devices in your control panel (in the maintenance tab of the device’s page) or by using:
$ ondevice device $devId set on:id=$newId
See: ondevice device
ondevice list and the control panel display so called qualified devIds
(with your username and a dot as prefix, e.g.
demo.rpi instead of just
Both are equivalent as long as you just access the devices of your own account (we advise you to use the qualified versions in scripts though).
We plan to add multiuser support in one way or another in the future, at which point qualified devIds will become more relevant.
In addition to the
devId, you can also set an optional, human-readable device
Its purpose is simply to make your device list easier to read (in
ondevice list as well as the control panel).
Device names are pretty much free form, but can be no longer than 100 characters
You can set them using the
on:name special property:
$ ondevice device "$devId" set on:name="This is my Raspberry PI at home"
You can only use your devId for
ondevice ssh etc, not these human-readable names
devIDs can be anything from 3 to 50 characters long and are validated using the
ssh-ing into them interactively (
ondevice ssh me@postgresis easier to remember than
ondevice ssh me@f5asc7)
ondevice listto filter them)