diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-10-09 22:02:00 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-10-09 22:02:00 +0200 |
| commit | 44349064f75616fd47194425e27f5cb1d6ef5ecb (patch) | |
| tree | 40a91c8471c2803bc1f361b69cd5352737bb4458 /src | |
| parent | 59bd6e87a44fab86c511f78ff50f3e3c4cca4b59 (diff) | |
nix develop: Source ~/.bashrc
Fixes #4104.
Diffstat (limited to 'src')
| -rw-r--r-- | src/nix/develop.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/nix/develop.cc b/src/nix/develop.cc index a46ea39b6..f763e8ba0 100644 --- a/src/nix/develop.cc +++ b/src/nix/develop.cc @@ -377,6 +377,10 @@ struct CmdDevelop : Common, MixEnvironment script += fmt("exec %s\n", concatStringsSep(" ", args)); } + else { + script += "[ -n \"$PS1\" ] && [ -e ~/.bashrc ] && source ~/.bashrc;\n"; + } + writeFull(rcFileFd.get(), script); stopProgressBar(); |