Strip Leading Zeros In Shell
Nice trick to strip leading zeros from an IP address at the command line (it turn 002.203.017.001 to 2.203.17.1)…
echo 002.203.017.001 | awk -F “.” ‘{print int($1)”.”int($2)”.”int($3)”.”int($4)}’
Short URL for this post: http://tmblr.co/ZufQ6y18sPtm
