diff options
| author | EuAndreh <eu@euandre.org> | 2024-11-18 08:21:58 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2024-11-18 08:44:57 -0300 |
| commit | 960e4410f76801356ebd42801c914b2910a302a7 (patch) | |
| tree | 615d379416f72956d0c1666c63ce062859041fbe /_pastebins/2018-07-13-nix-string-padding.md | |
| parent | Remove jekyll infrastructure setup (diff) | |
| download | euandre.org-960e4410f76801356ebd42801c914b2910a302a7.tar.gz euandre.org-960e4410f76801356ebd42801c914b2910a302a7.tar.xz | |
v0 migration to mkwb
Diffstat (limited to '_pastebins/2018-07-13-nix-string-padding.md')
| -rw-r--r-- | _pastebins/2018-07-13-nix-string-padding.md | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/_pastebins/2018-07-13-nix-string-padding.md b/_pastebins/2018-07-13-nix-string-padding.md deleted file mode 100644 index 359bda5..0000000 --- a/_pastebins/2018-07-13-nix-string-padding.md +++ /dev/null @@ -1,19 +0,0 @@ ---- - -title: Nix string padding - -date: 2018-07-13 - -layout: post - -lang: en - -eu_categories: nix - -ref: nix-string-padding - ---- - -```nix -padString = (n: if n < 10 then "0" + toString n else toString n) -``` |