Fix update-nix-files.sh to run correctly
commite4ce3b95e5f8d6d1dd3f1a12441a23d0559b50e3
authorJonathan Lange <jml@mumak.net>
dateTue 8 Sep 2015, 20:28 (11 years ago)
parenta265fd3
scripts/update-nix-files.sh+3−1
@@ -38,8 +38,10 @@ write-package-shell-nix () {
3838
3939update-nix-files () {
4040 for s in ${SOURCES[@]} ; do
41− cd "$s" && cabal2nix . > default.nix
41+ pushd "$s" > /dev/null
42+ cabal2nix . > default.nix
4243 write-package-shell-nix $s
44+ popd > /dev/null
4345 done
4446}
4547