I think your solution is more elegant, Ricardo, because it's not robust to change (the AWK parsing could break).
Question: why should we run it from a Guix checkout?
I think your solution is more elegant, Ricardo, because it's not robust to change (the AWK parsing could break).
Question: why should we run it from a Guix checkout?