|
You are here |
betterdev.blog | ||
| | | | |
blog.djy.io
|
|
| | | | | ||
| | | | |
gist.github.com
|
|
| | | | | Minimal safe Bash script template - see the article with full description: https://betterdev.blog/minimal-safe-bash-script-template/ - script-template.sh | |
| | | | |
blog.dataumbrella.org
|
|
| | | | | ||
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||