awk - hex zu dezimal

[Mathias Brodala]

Hallo victorinox.

ist es (einfach) möglich in awk oder nawk (nicht gawk) eine Umwandlung von einer Hex-Zahl in eine Dezimal-Zahl zu machen? Gibt es dort z.B. die Möglichkleit mit printf wie in der Shell oder Perl? Ich bekomme es leider nicht hin.

Möglich ist folgendes:

$ echo 0x2a | awk '{printf("%d\n", strtonum($1))}'
42

Einen schönen Mittwoch noch.

Gruß, Mathias