remove explorer for __directory
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								3d24edae51
							
						
					
				
			
			
				commit
				
					
						b8c68fcb9e
					
				
			
		
					 1 changed files with 2 additions and 7 deletions
				
			
		| 
						 | 
				
			
			@ -37,13 +37,8 @@ if ! $(echo "$destination" | grep -q ^/); then
 | 
			
		|||
   exit 1
 | 
			
		||||
fi
 | 
			
		||||
 | 
			
		||||
if [ -f "$__object/parameter/source" ]; then
 | 
			
		||||
   echo "Source not supported for directory currently - FIXME" >&2
 | 
			
		||||
   exit 1
 | 
			
		||||
else
 | 
			
		||||
   if [ no = "$(cat "$__object/explorer/exists")" ]; then
 | 
			
		||||
      echo mkdir \"$destination\"
 | 
			
		||||
   fi
 | 
			
		||||
if [ no = "$(cat "$__object/explorer/exists")" ]; then
 | 
			
		||||
   echo mkdir \"$destination\"
 | 
			
		||||
fi
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue