diff -r 67d158ccb9b9 -r fa0448f34e49 install.py
--- a/install.py Fri May 23 18:53:50 2014 +0200
+++ b/install.py Fri May 23 19:26:20 2014 +0200
@@ -343,6 +343,7 @@
if sys.platform.startswith("linux"):
for name in ["/usr/share/pixmaps/eric.png",
"/usr/share/applications/eric5.desktop",
+ "/usr/share/appdata/eric5.appdata.xml",
"/usr/share/pixmaps/ericWeb.png",
"/usr/share/applications/eric5_webbrowser.desktop"]:
if os.path.exists(name):
@@ -646,6 +647,11 @@
shutilCopy(os.path.join(sourceDir, "eric5.desktop"), dst)
shutilCopy(os.path.join(sourceDir, "eric5_webbrowser.desktop"),
dst)
+ dst = os.path.normpath(
+ os.path.join(distDir, "usr/share/appdata"))
+ if not os.path.exists(dst):
+ os.makedirs(dst)
+ shutilCopy(os.path.join(sourceDir, "eric5.appdata.xml"), dst)
else:
shutilCopy(os.path.join(
sourceDir, "icons", "default", "eric.png"),
@@ -653,6 +659,10 @@
shutilCopy(os.path.join(
sourceDir, "eric5.desktop"),
"/usr/share/applications")
+ if os.path.exists("/usr/share/appdata"):
+ shutilCopy(os.path.join(
+ sourceDir, "eric5.appdata.xml"),
+ "/usr/share/appdata")
shutilCopy(os.path.join(
sourceDir, "icons", "default", "ericWeb48.png"),
"/usr/share/pixmaps/ericWeb.png")
