install.py

changeset 3609
5f17196652d5
parent 3607
0baeb7c76a5b
child 3612
786d97a08a14
--- a/install.py	Fri May 23 18:53:50 2014 +0200
+++ b/install.py	Fri May 23 19:26:20 2014 +0200
@@ -398,6 +398,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):
@@ -735,6 +736,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"),
@@ -742,6 +748,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")

eric ide

mercurial