Search

Fulltext results:

scriptingsnippets

2 Hits, Last modified: 7 years ago

====== 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}}