install finish
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
		
					parent
					
						
							
								f84cabffe3
							
						
					
				
			
			
				commit
				
					
						820eea56fb
					
				
			
		
					 2 changed files with 5 additions and 1 deletions
				
			
		| 
						 | 
					@ -46,6 +46,10 @@ class Type(object):
 | 
				
			||||||
        """Check whether a type is used for installation (if not: for configuration)"""
 | 
					        """Check whether a type is used for installation (if not: for configuration)"""
 | 
				
			||||||
        return os.path.isfile(os.path.join(self.path, "install"))
 | 
					        return os.path.isfile(os.path.join(self.path, "install"))
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					    def explorer_dir(self):
 | 
				
			||||||
 | 
					        """Return remote directory that holds the explorers of a type"""
 | 
				
			||||||
 | 
					        return os.path.join(self.remote_path, "explorer")
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    def remote_explorer_dir(self):
 | 
					    def remote_explorer_dir(self):
 | 
				
			||||||
        """Return remote directory that holds the explorers of a type"""
 | 
					        """Return remote directory that holds the explorers of a type"""
 | 
				
			||||||
        return os.path.join(self.remote_path, "explorer")
 | 
					        return os.path.join(self.remote_path, "explorer")
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue