meta data for this page

Code snippets for scripting

Bash

Strip out leading zeros from a a string from Stackoverflow:

theNumber=0023
echo $((10#${theNumber}))
23