Stefan Frijters a53438d18f doc: nix-shell in pure mode does *not* source user bashrc		2020-10-18 14:26:05 +02:00
..
manual	doc: nix-shell in pure mode does *not* source user bashrc	2020-10-18 14:26:05 +02:00