Fabio Mosti
consulente informatico
stressato e bastardo

fare il padding di zeri a un numero in bash

02/03/2012 - fare il padding di zeri a un numero in bash
tags: bash, Linux, sistemistica
Per fare il padding (e molte altre cose) di una stringa in bash si utilizza il comando printf; se ad esempio vogliamo fare il padding a due cifre con leading zero del numero contenuto in x faremo:
printf "%02d" $x
Buon padding a tutti!
Warning: Illegal string offset 'codice' in /var/www/vhosts/videoart000003/httpdocs/_codice/_templates/_default_/_template.footers_pagina.php on line 10