Ludovic Courtès ea8fbbf2f2 distro: make: Change default shell from /bin/sh to the actual shell. ... * distro/packages/base.scm (gnu-make): Add `set-default-shell' phase. (gnu-make-boot0): Adjust phases accordingly.		2012-12-19 12:34:53 +01:00
..
packages	distro: make: Change default shell from /bin/sh to the actual shell.	2012-12-19 12:34:53 +01:00