From 7d51b40e661e53ea1904fd1cf5ca407b1497e4f2 Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Mon, 27 Jan 2020 16:02:57 +0000
Subject: [PATCH] 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.
---
 .envrc    | 2 +-
 README.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.envrc b/.envrc
index bf79e325a..365d37dbc 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 e7a01960b..4fa248554 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.