Skip to content
Snippets Groups Projects
  1. Sep 07, 2021
    • Tom Prince's avatar
      Merge branch 'shell-hook' into 'develop' · 59b0626e
      Tom Prince authored
      Set `NIX_PATH` in `shellHook` of `shell.nix`.
      
      See merge request !162
      59b0626e
    • Tom Prince's avatar
      Set `NIX_PATH` in `shellHook` of `shell.nix`. · 65fd0080
      Tom Prince authored
      If `nix-shell` is run interactively on NixOS, in way that has loaded
      `/etc/profile` (for example `docker exec <container> nix-shell`), then
      `/etc/profile` will be sourced in the shell that nix-shell starts. That
      overwrites the `NIX_PATH` set by `shell.nix`.
      
      If we instead set `NIX_PATH` in the the `shellHook`, that always takes
      precedence.
      65fd0080
  2. Sep 06, 2021
  3. Sep 03, 2021
  4. Sep 02, 2021
  5. Sep 01, 2021
  6. Aug 30, 2021
  7. Aug 26, 2021
  8. Aug 25, 2021
  9. Aug 24, 2021
  10. Aug 19, 2021
  11. Aug 17, 2021
  12. Aug 12, 2021
  13. Aug 11, 2021
  14. Aug 09, 2021
  15. Aug 05, 2021
  16. Aug 02, 2021
  17. Jul 29, 2021
  18. Jul 28, 2021
Loading