infra - nix configuration for my machines

	Commit message (Collapse)	Author	Files	Lines
2022-10-17	ref(tools/python): make mypy happy	Franck Cuny	1	-5/+8

2022-10-04	ref(tools/ipconverter): rewrite the tool in python	Franck Cuny	1	-0/+29
	No need to do this with Go, a python script is fine. We also don't need to set shell aliases for this: when we install the tool, we can create symbolic links to `ip2int` and `int2ip`.