def rename_to(self, other):
# If we're on the same file system as other, optimize this to a remote
# side rename
if isinstance(other, SSHFile) and self._filesystem is other._filesystem:
self._client.rename(self._path, other._path)
else:
return BaseFile.rename_to(self, other)
def rename_to(self, other):
if isinstance(other, File):
with Convert():
os.rename(self._path, other.path)
else:
BaseFile.rename_to(self, other)
def same_as(self, other):
return (BaseFile.same_as(self, other) and
self._url._replace(path="") == other._url._replace(path=""))
