Wolfgang WaltherandWolfgang Walther b5185de706 nix: add "cd $rootdir" to all shell scripts via checked-shell-script

2020-12-24 14:44:01 +01:00

..

checked-shell-script.nix

nix: add "cd $rootdir" to all shell scripts via checked-shell-script

2020-12-24 14:44:01 +01:00

default.nix

Improve dev tools in the Nix environment (#1666)

2020-11-30 22:21:19 +01:00