From 14bb57e1301870df80c793cbb65638e39bc223b0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 20 Apr 2007 15:01:32 +0000
Subject: [PATCH] Update to PRISM+Gnome file associations.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@286 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/Overrides.xml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 prism/etc/Overrides.xml

diff --git a/prism/etc/Overrides.xml b/prism/etc/Overrides.xml
new file mode 100644
index 00000000..0d76c20a
--- /dev/null
+++ b/prism/etc/Overrides.xml
@@ -0,0 +1,16 @@
+<?xml version='1.0' encoding='utf-8'?>
+
+<!-- This file can be used to define a MIME type for PRISM files under the Gnome desktop -->
+<!-- Save the file as ~/.local/share/mime/packages/Overrides.xml and then run: -->
+<!--   update-mime-database ~/.local/share/mime -->
+
+<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
+  <mime-type type="text/x-prism">
+    <comment>PRISM file</comment>
+    <glob pattern="*.pm"/>
+    <glob pattern="*.sm"/>
+    <glob pattern="*.nm"/>
+    <glob pattern="*.pctl"/>
+    <glob pattern="*.csl"/>
+  </mime-type>
+</mime-info>