Device serial numbers [was: Clean up some of the dive computer nickname code]

[Linus Torvalds]

On Sat, Jan 12, 2013 at 1:47 PM, Tim Wootton <tim at tee-jay.demon.co.uk> wrote:
>
> Mares Nemo Wide 2 :  6 digit numeric

The shearwater predator seems to be a 8-digit hex number judging by
their manual.

The atomic aquatics seems to be two 4-digit decimal numbers with a
dash in between.

Judging by some recalls on the net, some Oceanics have 4-digit
numbers, some have six, and they seem to use hex numbers at least for
their firmware release, but the serial numbers seem to be decimal.

Anyway, even when they are "numbers" it's clearly not possible to know
how to format them. Hex or decimal? How many digits? Dashes?

        Linus