438 if not os.path.exists(fname): |
438 if not os.path.exists(fname): |
439 if not os.path.exists(pdir): |
439 if not os.path.exists(pdir): |
440 os.mkdir(pdir, 0o755) |
440 os.mkdir(pdir, 0o755) |
441 f = open(fname, "w") |
441 f = open(fname, "w") |
442 f.write( |
442 f.write( |
443 '''# -*- coding: utf-8 -*- |
443 '''# -*- coding: utf-8 -*- |
444 |
444 |
445 """ |
445 """ |
446 Package containing the global plugins. |
446 Package containing the global plugins. |
447 """ |
447 """ |
448 ''' |
448 ''' |
511 for name in ["/usr/share/applications/eric6" + marker + ".desktop", |
511 for name in ["/usr/share/applications/eric6" + marker + ".desktop", |
512 "/usr/share/appdata/eric6" + marker + ".appdata.xml", |
512 "/usr/share/appdata/eric6" + marker + ".appdata.xml", |
513 "/usr/share/applications/eric6_webbrowser" + marker + |
513 "/usr/share/applications/eric6_webbrowser" + marker + |
514 ".desktop", |
514 ".desktop", |
515 "/usr/share/applications/eric6_browser" + marker + |
515 "/usr/share/applications/eric6_browser" + marker + |
516 ".desktop",]: |
516 ".desktop", |
|
517 ]: |
517 if os.path.exists(name): |
518 if os.path.exists(name): |
518 os.remove(name) |
519 os.remove(name) |
519 |
520 |
520 # Remove the wrapper scripts |
521 # Remove the wrapper scripts |
521 rem_wnames = [ |
522 rem_wnames = [ |