NixOS/nix — pull request #264 by soenkehahn (2014-05-23 03:47:31+00:00)
Title: dev-shell is a bash script, not sh

'type -p' does not work in e.g. dash