implement list_global_explorer_names
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
parent
f02bdf3e61
commit
86fcce928c
1 changed files with 4 additions and 0 deletions
|
@ -76,6 +76,10 @@ class Explorer(object):
|
|||
|
||||
### global
|
||||
|
||||
def list_global_explorer_names(self):
|
||||
"""Return a list of global explorer names."""
|
||||
return os.listdir(self.local.global_explorer_path)
|
||||
|
||||
def transfer_global_explorers(self):
|
||||
"""Transfer the global explorers to the remote side."""
|
||||
self.remote.mkdir(self.remote.global_explorer_path)
|
||||
|
|
Loading…
Reference in a new issue