KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Ignore permission errors when stating file to edit

Browse Source
This commit is contained in:
Kovid Goyal 2022-05-27 13:04:02 +05:30
parent 83ce23ff9f
commit 64e30e5299
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/launch.py
View File

@ -606,7 +606,7 @@ class EditCmd:
self.file_name = os.path.basename(self.file_spec)
self.file_localpath = os.path.normpath(os.path.join(self.cwd, self.file_spec))
self.is_local_file = False
with suppress(FileNotFoundError):
with suppress(OSError):
st = os.stat(self.file_localpath)
self.is_local_file = (st.st_dev, st.st_ino) == self.file_inode
if not self.is_local_file: