--- a/eric6/ThirdParty/Send2Trash/send2trash/exceptions.py Tue Apr 20 19:47:39 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,27 +0,0 @@ -from __future__ import unicode_literals - -import errno -from .compat import PY3 - -if PY3: - _permission_error = PermissionError -else: - _permission_error = OSError - -class TrashPermissionError(_permission_error): - """A permission error specific to a trash directory. - - Raising this error indicates that permissions prevent us efficiently - trashing a file, although we might still have permission to delete it. - This is *not* used when permissions prevent removing the file itself: - that will be raised as a regular PermissionError (OSError on Python 2). - - Application code that catches this may try to simply delete the file, - or prompt the user to decide, or (on Freedesktop platforms), move it to - 'home trash' as a fallback. This last option probably involves copying the - data between partitions, devices, or network drives, so we don't do it as - a fallback. - """ - def __init__(self, filename): - _permission_error.__init__(self, errno.EACCES, "Permission denied", - filename)