def generate_tool_shed_repository_install_dir(repository_clone_url, changeset_revision):
 tmp_url = common_util.remove_protocol_and_user_from_clone_url(repository_clone_url)
 items = tmp_url.split('/repos/')
 tool_shed_url = items[0]
 repo_path = items[1]
 tool_shed_url = common_util.remove_port_from_tool_shed_url(tool_shed_url)
 return '/'.join([tool_shed_url, 'repos', repo_path, changeset_revision])

def generate_tool_shed_repository_install_dir ( repository_clone_url , changeset_revision ) : tmp_url = common_util . remove_protocol_and_user_from_clone_url ( repository_clone_url ) items = tmp_url . split ( '/repos/' ) tool_shed_url = items [ 0 ] repo_path = items [ 1 ] tool_shed_url = common_util . remove_port_from_tool_shed_url ( tool_shed_url ) return '/' . join ( [ tool_shed_url , 'repos' , repo_path , changeset_revision ] )
generate a repository installation directory that guarantees repositories with the same name will always be installed in different directories .