Set page size to 4096

jkseppan · jkseppan · commit e987a58ff362 · 2018-01-14T08:39:16.000+02:00
This is the default value since 2016 and is generally recommended for performance: https://sqlite.org/pgszchng2016.html Older versions are probably still in use on e.g. Ubuntu 14.04 LTS systems, and on these systems this is likely a minor performance improvement.
diff --git a/lib/matplotlib/dviread.py b/lib/matplotlib/dviread.py
@@ -1093,6 +1093,7 @@ def _migrate(self, version):
             if version == 1:
                 conn.executescript(
                     """
+                    PRAGMA page_size=4096;
                     CREATE TABLE file_path(
                         filename TEXT PRIMARY KEY NOT NULL,
                         pathname TEXT
