aboutsummaryrefslogtreecommitdiff
path: root/dev-shell
AgeCommit message (Collapse)Author
2016-03-22Add 32bit linux clause to dev-shellChris Warburton
2014-07-16Make dev-shell script work on DarwinEelco Dolstra
2014-05-26dev-shell is a bash script, not shSönke Hahn
'type -p' does not work in e.g. dash
2013-08-21Hack to clean up tests/test-tmpEelco Dolstra
2013-07-19Add hacking notes plus a script for running nix-shellEelco Dolstra