opam init
This commit is contained in:
		
							parent
							
								
									18007bc022
								
							
						
					
					
						commit
						3c623998dc
					
				
					 1 changed files with 3 additions and 0 deletions
				
			
		|  | @ -3,3 +3,6 @@ | |||
| # | ||||
| 
 | ||||
| [[ -f ~/.bashrc ]] && . ~/.bashrc | ||||
| 
 | ||||
| # opam configuration | ||||
| test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue