Gecko [ lorencats.com ]

Name	Size	Permission
__pycache__	[ DIR ]	drwxr-xr-x
__init__.py	715 B	-rw-r--r--
compat.py	588 B	-rw-r--r--
exceptions.py	1015 B	-rw-r--r--
plat_gio.py	752 B	-rw-r--r--
plat_osx.py	1.64 KB	-rw-r--r--
plat_other.py	6.29 KB	-rw-r--r--
plat_win.py	2.75 KB	-rw-r--r--

Code Editor : exceptions.py

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)

${this.title}

Code Editor : exceptions.py