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.
This commit is contained in:
William Carroll 2020-01-27 16:21:30 +00:00
parent 680d129cb3
commit 7e1391cc47
4 changed files with 12 additions and 6 deletions

2
.envrc
View file

@ -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