Fulltext results:
- scriptingsnippets @software
- ====== 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}}
- researchtools @teaching #Data science #Digital tools #Editor #LaTeX #Research #Revisioning #versioning
- ualisation in a notebook/browser. * Unix Shell scripting and the complete shell toolchain (e.g. ''awk'', '