From 64e30e52990a3902269a5dc36d73e02b838f9536 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 27 May 2022 13:04:02 +0530
Subject: [PATCH] Ignore permission errors when stating file to edit

---
 kitty/launch.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kitty/launch.py b/kitty/launch.py
index 642db6fcd..59c5aa315 100644
--- a/kitty/launch.py
+++ b/kitty/launch.py
@@ -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: