396 |
396 |
397 # Remove the menu entry for Linux systems |
397 # Remove the menu entry for Linux systems |
398 if sys.platform.startswith("linux"): |
398 if sys.platform.startswith("linux"): |
399 for name in ["/usr/share/pixmaps/eric.png", |
399 for name in ["/usr/share/pixmaps/eric.png", |
400 "/usr/share/applications/eric5.desktop", |
400 "/usr/share/applications/eric5.desktop", |
|
401 "/usr/share/appdata/eric5.appdata.xml", |
401 "/usr/share/pixmaps/ericWeb.png", |
402 "/usr/share/pixmaps/ericWeb.png", |
402 "/usr/share/applications/eric5_webbrowser.desktop"]: |
403 "/usr/share/applications/eric5_webbrowser.desktop"]: |
403 if os.path.exists(name): |
404 if os.path.exists(name): |
404 os.remove(name) |
405 os.remove(name) |
405 |
406 |
733 if not os.path.exists(dst): |
734 if not os.path.exists(dst): |
734 os.makedirs(dst) |
735 os.makedirs(dst) |
735 shutilCopy(os.path.join(sourceDir, "eric5.desktop"), dst) |
736 shutilCopy(os.path.join(sourceDir, "eric5.desktop"), dst) |
736 shutilCopy(os.path.join(sourceDir, "eric5_webbrowser.desktop"), |
737 shutilCopy(os.path.join(sourceDir, "eric5_webbrowser.desktop"), |
737 dst) |
738 dst) |
|
739 dst = os.path.normpath( |
|
740 os.path.join(distDir, "usr/share/appdata")) |
|
741 if not os.path.exists(dst): |
|
742 os.makedirs(dst) |
|
743 shutilCopy(os.path.join(sourceDir, "eric5.appdata.xml"), dst) |
738 else: |
744 else: |
739 shutilCopy(os.path.join( |
745 shutilCopy(os.path.join( |
740 sourceDir, "icons", "default", "eric.png"), |
746 sourceDir, "icons", "default", "eric.png"), |
741 "/usr/share/pixmaps/eric.png") |
747 "/usr/share/pixmaps/eric.png") |
742 shutilCopy(os.path.join( |
748 shutilCopy(os.path.join( |
743 sourceDir, "eric5.desktop"), |
749 sourceDir, "eric5.desktop"), |
744 "/usr/share/applications") |
750 "/usr/share/applications") |
|
751 if os.path.exists("/usr/share/appdata"): |
|
752 shutilCopy(os.path.join( |
|
753 sourceDir, "eric5.appdata.xml"), |
|
754 "/usr/share/appdata") |
745 shutilCopy(os.path.join( |
755 shutilCopy(os.path.join( |
746 sourceDir, "icons", "default", "ericWeb48.png"), |
756 sourceDir, "icons", "default", "ericWeb48.png"), |
747 "/usr/share/pixmaps/ericWeb.png") |
757 "/usr/share/pixmaps/ericWeb.png") |
748 shutilCopy(os.path.join( |
758 shutilCopy(os.path.join( |
749 sourceDir, "eric5_webbrowser.desktop"), |
759 sourceDir, "eric5_webbrowser.desktop"), |