7 lines
		
	
	
		
			165 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			7 lines
		
	
	
		
			165 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
| #!/bin/bash
 | |
| 
 | |
| # exports a path only, if $PATH does not already contains the path.
 | |
| 
 | |
| NEWPATH="$1"
 | |
| echo ":$PATH:" | grep -q ":$NEWPATH:" || export PATH="$PATH:$NEWPATH"
 |