infra - nix configuration for my machines

	Commit message (Collapse)	Author	Age	Files	Lines
*	ref(tools/python): make mypy happy	Franck Cuny	2022-10-17	1	-5/+8
\|
*	ref(tools/ipconverter): rewrite the tool in python	Franck Cuny	2022-10-04	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`.