some shell hints
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								34b75c2ad8
							
						
					
				
			
			
				commit
				
					
						25806d425e
					
				
			
		
					 1 changed files with 1 additions and 0 deletions
				
			
		
							
								
								
									
										1
									
								
								doc/dev/shell-hints
									
										
									
									
									
										Normal file
									
								
							
							
						
						
									
										1
									
								
								doc/dev/shell-hints
									
										
									
									
									
										Normal file
									
								
							|  | @ -0,0 +1 @@ | |||
| $0 evaluated in a sourced script returns name of the caller. | ||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue