pylint_all: Handle Ctrl+C more gracefully

cameel · cameel · commit 7dd24edf146b · 2021-08-23T23:12:56.000+02:00
diff --git a/scripts/pylint_all.py b/scripts/pylint_all.py
@@ -86,4 +86,7 @@ def main():
 
 
 if __name__ == "__main__":
-    main()
+    try:
+        main()
+    except KeyboardInterrupt:
+        exit("Interrupted by user. Exiting.")
