tvl-depot/users/sterni
sterni a5f2b446aa feat(sterni/nix/url): implement urldecoding
We use builtins.split directly as it should be a bit more efficient as
lib.splitStrings. Also its returning of a list for every regex match is
useful to update the state while parsing the tokens:

* The tokens are obtained by splitting the string at every '%'
* Everytime we see a boundary (that is a list in the returned
  list of builtins.split), we know that the first two chars of
  the next string are a percent encoded character.

One implementation flaw is that it will currently crash if it encounters
mal-formed URLs (since int.fromHex chrashes if it encounters any non
hex digit characters) and accepts some malformed urlencoding like
"foo %A".

Change-Id: I90d08d7a71b16b4f4a4879214abd7aeff46c20c8
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2744
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
2021-04-01 13:09:46 +00:00
..
clhs-lookup feat(users/sterni): move clhs.clhs-lookup to clhs-lookup 2021-01-29 17:36:40 +00:00
htmlman feat(users/sterni/htmlman): hyperlink .Xr macro in output 2021-03-11 14:31:19 +00:00
nix feat(sterni/nix/url): implement urldecoding 2021-04-01 13:09:46 +00:00
keys.nix feat(ops/nixos/whitby): add sterni user 2021-01-13 22:05:33 +00:00
OWNERS chore(sterni): init user folder 2021-01-11 11:43:33 +00:00