====== Code snippets for scripting ====== ===== Bash ===== Strip out leading zeros from a a string from [[https://stackoverflow.com/questions/11123717/removing-leading-zeros-before-passing-the-variable-to-iptables#11130324|Stackoverflow]]: theNumber=0023 echo $((10#${theNumber})) 23 {{tag>bash scripting code python snippets quick_and_dirty}}