diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-14T13·57+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 375c4a4c857a5a5c56a9021ed721752288a3a357 (patch) | |
| tree | 274cc0178ae7a06d9aca770e9c8a06ebf973cc3f /todo-lists | |
| parent | 7e2dcc97cc98e22207c38026731b21472259dd18 (diff) | |
Restore shell.nix
I believe `use_nix` looks for shell.nix and then default.nix files, so I was wrong earlier when I said that I could get rid of shell.nix files altogether. I need to learn more about `use_nix` and getting environments from default.nix files.
Diffstat (limited to 'todo-lists')
0 files changed, 0 insertions, 0 deletions