diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-27T16·02+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-27T16·04+0000 |
| commit | 7d51b40e661e53ea1904fd1cf5ca407b1497e4f2 (patch) | |
| tree | d0365832204542842bc0992f1308a9dde0cab02b | |
| parent | be0e05c6694a715beb242c16c91f890e5fbdc08e (diff) | |
Rename mono -> universe
Prefer the name universe for my mono-repo. A bit grandiose, sure, but I prefer the metaphor to no metaphor at all.
| -rw-r--r-- | .envrc | 2 | ||||
| -rw-r--r-- | README.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/.envrc b/.envrc index bf79e325a121..365d37dbcabf 100644 --- a/.envrc +++ b/.envrc @@ -1 +1 @@ -export NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/mono +export NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/universe diff --git a/README.md b/README.md index e7a01960b87c..4fa248554751 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Mono +# Universe This is my mono-repo. Having a personal mono-repo is a new idea for me, so at the time of this writing, the state of this repository is fledgling. |