0045 in 45 in shell unwandeln

[vostro]

ich greppe einen Befehl df -k, dass am Ende ein zum Beispiel 0045 rauskommt, es könnte auch 0234 rauskommen.
Wie kann ich das in eine Zahl umwandeln? Weil ich muss von dem Wert dann 5 abziehen.

[ContainerDriver]

Hallo.

expr kann scheinbar mit voranstehenden Nullern umgehen:


florian@leuchtturm1:~$ expr 000044 + 123
167
.

D.h. eigentlich müsstest du gar nichts umwandeln.

Gruß, Florian

[vostro]

Danke das fuktioniert.

Das Problem ist jetzt habe ich ja die Zahl 40 und die muss ich wieder in 0040 umwandeln.
Gibt es ne Möglichkeit, dass man die Anzahl der Stellen einer Variablen mitgibt?

[ContainerDriver]

Dafür würde ich dir printf (man 1 printf, man 3 printf, http://en.wikipedia.org/wiki/Printf) empfehlen.


florian@leuchtturm1:~$ printf "%04d" 40
0040