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.
This commit is contained in:
		
							parent
							
								
									be0e05c669
								
							
						
					
					
						commit
						7d51b40e66
					
				
					 2 changed files with 2 additions and 2 deletions
				
			
		
							
								
								
									
										2
									
								
								.envrc
									
										
									
									
									
								
							
							
						
						
									
										2
									
								
								.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 | ||||
|  |  | |||
|  | @ -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. | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue