Thomas Boyer
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							1bae199736
							
						
					 | 
					
						
						
							
							fix(direnv): warn user if command not found (#12840)
						
						
						
						
						
						
						
						Co-authored-by: Carlo Sala <carlosalag@protonmail.com> 
						
						
					 | 
					
						2025-01-23 20:37:00 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Thomas Luzat
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							c8e600f397
							
						
					 | 
					
						
						
							
							fix(direnv): initialize properly direnv
						
						
						
						
						
						
						
						Closes #12038
Closes #12039
Co-authored-by: Carlo Sala <carlosalag@protonmail.com> 
						
						
					 | 
					
						2023-11-15 12:54:50 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Amir Hosseini
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							465253396d
							
						
					 | 
					
						
						
							
							fix(direnv): use hook instead of export (#12000)
						
						
						
						
						
						
					 | 
					
						2023-10-22 10:30:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Michael Klemm
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							a3ea785cf5
							
						
					 | 
					
						
						
							
							direnv: check if direnv is installed (#8809)
						
						
						
						
						
						
					 | 
					
						2020-05-22 18:29:52 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Dan Rose
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							fe5ec4fe31
							
						
					 | 
					
						
						
							
							direnv: change direnv to not assume path (#8757)
						
						
						
						
						
						
						
						On Ubuntu, direnv is not installed in `/usr/local`. 
						
						
					 | 
					
						2020-03-21 19:59:15 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Moritz Schwörer
							
						 
					 | 
					
						
						
							
							
						
						
						
							
						
						
							6dee9f99d3
							
						
					 | 
					
						
						
							
							Add direnv plugin (#8666)
						
						
						
						
						
						
					 | 
					
						2020-03-20 13:38:40 +01:00 | 
					
					
						
						
							
							
							
						
					 |