diff options
Diffstat (limited to 'misc/shared-mime-info/files/patch-data_freedesktop.org.xml.in')
| -rw-r--r-- | misc/shared-mime-info/files/patch-data_freedesktop.org.xml.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/misc/shared-mime-info/files/patch-data_freedesktop.org.xml.in b/misc/shared-mime-info/files/patch-data_freedesktop.org.xml.in new file mode 100644 index 000000000000..ae802ea438e7 --- /dev/null +++ b/misc/shared-mime-info/files/patch-data_freedesktop.org.xml.in @@ -0,0 +1,10 @@ +--- data/freedesktop.org.xml.in.orig 2022-03-27 10:19:00 UTC ++++ data/freedesktop.org.xml.in +@@ -6638,6 +6638,7 @@ --> + <comment>Python 3 script</comment> + <sub-class-of type='text/x-python'/> + <magic priority="60"><!-- higher priority than text/x-python --> ++ <match type="string" value="#!/usr/local/bin/python3.8" offset="0" /> + <match type="string" value="#!/bin/python3" offset="0"/> + <match type="string" value="#! /bin/python3" offset="0"/> + <match type="string" value='eval \"exec /bin/python3' offset="0"/> |