diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-27T16·21+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-27T16·21+0000 |
| commit | 7e1391cc47dbff891d9ebd2a734bdd3ead1ab56f (patch) | |
| tree | 6439734bffc3cef50725d8d7e90f2c000f494cc7 /.envrc | |
| parent | 680d129cb3d5636e76fbf92265de630a1101f717 (diff) | |
Rename mono -> universe
Update code that depends on my mono-repo being named "mono". I've renamed it to "universe", which explains the changes in this commit. TODO: Merge dotfiles into universe.
Diffstat (limited to '.envrc')
| -rw-r--r-- | .envrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.envrc b/.envrc index 0a0185c1985b..f097cc4eb456 100644 --- a/.envrc +++ b/.envrc @@ -1,2 +1,2 @@ export DOTFILES=~/dotfiles -NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/mono +NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/universe |