From b17c46694818a39cb5378f0697b4a99aec6ad75f Mon Sep 17 00:00:00 2001 From: Unit 193 Date: Sun, 30 Apr 2023 18:36:10 -0400 Subject: d/p/disable_scriptingpython.patch: Disable the ScriptingPython plugin for now. --- debian/patches/disable_scriptingpython.patch | 18 ++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 19 insertions(+) create mode 100644 debian/patches/disable_scriptingpython.patch (limited to 'debian') diff --git a/debian/patches/disable_scriptingpython.patch b/debian/patches/disable_scriptingpython.patch new file mode 100644 index 0000000..608f170 --- /dev/null +++ b/debian/patches/disable_scriptingpython.patch @@ -0,0 +1,18 @@ +Description: Disable python scripting. +Author: Unit 193 +Forwarded: not-needed + +--- + Plugins/Plugins.pro | 1 - + 1 file changed, 1 deletion(-) + +--- a/Plugins/Plugins.pro ++++ b/Plugins/Plugins.pro +@@ -17,7 +17,6 @@ SUBDIRS += \ + SqlEnterpriseFormatter \ + ConfigMigration \ + ScriptingTcl \ +- ScriptingPython \ + DbAndroid \ + DbSqliteCipher \ + DbSqliteWx \ diff --git a/debian/patches/series b/debian/patches/series index 2cd49ec..aba37a2 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ remove_sourceless_jar.patch +disable_scriptingpython.patch -- cgit v1.2.3