install.py

changeset 146
afeb742e7148
parent 133
5b6e8eb22796
child 203
0bd3912f3c5f
equal deleted inserted replaced
145:96d12f8ab3d7 146:afeb742e7148
229 # eric5 wasn't installed previously 229 # eric5 wasn't installed previously
230 return 230 return
231 231
232 global pyModDir, progLanguages 232 global pyModDir, progLanguages
233 233
234 # Remove the menu entry for Linux systems
235 if sys.platform.startswith("linux"):
236 for name in ["/usr/share/pixmaps/eric.png",
237 "/usr/share/applications/eric5.desktop"]:
238 if os.path.exists(name):
239 os.remove(name)
240
234 # Remove the wrapper scripts 241 # Remove the wrapper scripts
235 rem_wnames = [ 242 rem_wnames = [
236 "eric5-api", "eric5-compare", 243 "eric5-api", "eric5-compare",
237 "eric5-configure", "eric5-diff", 244 "eric5-configure", "eric5-diff",
238 "eric5-doc", "eric5-helpviewer", 245 "eric5-doc", "eric5-helpviewer",
395 for apiName in glob.glob(os.path.join("eric", "APIs", "Python3", "*.api")): 402 for apiName in glob.glob(os.path.join("eric", "APIs", "Python3", "*.api")):
396 try: 403 try:
397 shutil.copy(apiName, apidir) 404 shutil.copy(apiName, apidir)
398 except EnvironmentError: 405 except EnvironmentError:
399 print("Could not install '%s'." % apiName) 406 print("Could not install '%s'." % apiName)
407
408 # create menu entry for Linux systems
409 if sys.platform.startswith("linux"):
410 shutil.copy(os.path.join("eric", "icons", "default", "eric.png"), "/usr/share/pixmaps")
411 shutil.copy(os.path.join("eric", "eric5.desktop"), "/usr/share/applications")
400 412
401 413
402 def createInstallConfig(): 414 def createInstallConfig():
403 """ 415 """
404 Create the installation config dictionary. 416 Create the installation config dictionary.

eric ide

mercurial