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 rpi).
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
name.
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
following regex: ^[a-zA-Z0-9]+(-[a-zA-Z0-9]+)*$
To clarify:
ssh-ing into them interactively (ondevice ssh me@postgres is easier to
remember than ondevice ssh me@f5asc7)ondevice list to filter them)