I use this function to get IDs:
uid = name:
let
dec = {
"0" = 0; "1" = 1; "2" = 2; "3" = 3;
"4" = 4; "5" = 5; "6" = 6; "7" = 7;
"8" = 8; "9" = 9; "a" = 10; "b" = 11;
"c" = 12; "d" = 13; "e" = 14; "f" = 15;
};
base = 10; #
Bjørn,
Thank you for the pointer. I'd hoped to recommend nix to some large
projects I work on. As I understand the
https://github.com/NixOS/nixpkgs/issues/10597 thread, each user must do
some nix hacking to be able to use python packages. While my colleagues
would not work in such an