Fulltext results:
- scriptingsnippets
- ====== Code snippets for scripting ====== ===== Bash ===== Strip out leading zeros from a a string from [[h... umber=0023 echo $((10#${theNumber})) 23 </code> {{tag>bash scripting code python snippets quick_and_dirty}}