Search

Fulltext results:

scriptingsnippets @software

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

researchtools @teaching #Data science #Digital tools #Editor #LaTeX #Research #Revisioning #versioning

1 Hits, Last modified: 19 months ago

ualisation in a notebook/browser. * Unix Shell scripting and the complete shell toolchain (e.g. ''awk'', '