install.py

changeset 3607
0baeb7c76a5b
parent 3597
137370f7114b
child 3609
5f17196652d5
equal deleted inserted replaced
3605:646288f2fc19 3607:0baeb7c76a5b
720 if sys.platform.startswith("linux"): 720 if sys.platform.startswith("linux"):
721 if distDir: 721 if distDir:
722 dst = os.path.normpath(os.path.join(distDir, "usr/share/pixmaps")) 722 dst = os.path.normpath(os.path.join(distDir, "usr/share/pixmaps"))
723 if not os.path.exists(dst): 723 if not os.path.exists(dst):
724 os.makedirs(dst) 724 os.makedirs(dst)
725 shutilCopy(os.path.join(sourceDir, "icons", "default", "eric.png"), 725 shutilCopy(
726 os.path.join(dst, "eric.png")) 726 os.path.join(sourceDir, "icons", "default", "eric.png"),
727 os.path.join(dst, "eric.png"))
728 shutilCopy(
729 os.path.join(sourceDir, "icons", "default", "ericWeb48.png"),
730 os.path.join(dst, "ericWeb.png"))
727 dst = os.path.normpath( 731 dst = os.path.normpath(
728 os.path.join(distDir, "usr/share/applications")) 732 os.path.join(distDir, "usr/share/applications"))
729 if not os.path.exists(dst): 733 if not os.path.exists(dst):
730 os.makedirs(dst) 734 os.makedirs(dst)
731 shutilCopy(os.path.join(sourceDir, "eric5.desktop"), dst) 735 shutilCopy(os.path.join(sourceDir, "eric5.desktop"), dst)
736 shutilCopy(os.path.join(sourceDir, "eric5_webbrowser.desktop"),
737 dst)
732 else: 738 else:
733 shutilCopy(os.path.join( 739 shutilCopy(os.path.join(
734 sourceDir, "icons", "default", "eric.png"), 740 sourceDir, "icons", "default", "eric.png"),
735 "/usr/share/pixmaps/eric.png") 741 "/usr/share/pixmaps/eric.png")
736 shutilCopy(os.path.join( 742 shutilCopy(os.path.join(

eric ide

mercurial