diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-09T11·01+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-09T11·01+0200 |
| commit | c87f4b9324b87a059cf760a477177f322bb8dc26 (patch) | |
| tree | ada7f098e448e6b1b194b3ca65246be420603308 /src/linenoise | |
| parent | a0b971dd9c19819d4f7a3a8ab102be9d7101e3e0 (diff) | |
nix run: Respect propagated-user-env-packages
Also, add $path/bin to $PATH even if it doesn't exist. This makes 'man' work properly (since it looks for ../share/man relative to $PATH entries).
Diffstat (limited to 'src/linenoise')
0 files changed, 0 insertions, 0 deletions