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 /src/content/pastebins/2018/07/13/nix-strpad.adoc | |
| parent | Remove jekyll infrastructure setup (diff) | |
| download | euandre.org-main.tar.gz euandre.org-main.tar.xz | |
Diffstat (limited to 'src/content/pastebins/2018/07/13/nix-strpad.adoc')
| -rw-r--r-- | src/content/pastebins/2018/07/13/nix-strpad.adoc | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/content/pastebins/2018/07/13/nix-strpad.adoc b/src/content/pastebins/2018/07/13/nix-strpad.adoc new file mode 100644 index 0000000..359bda5 --- /dev/null +++ b/src/content/pastebins/2018/07/13/nix-strpad.adoc @@ -0,0 +1,19 @@ +--- + +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) +``` |