scripts/install.py

changeset 7566
7845da7a7ec2
parent 7519
0e93f5167e71
child 7584
328d92d8db48
diff -r 928373562e36 -r 7845da7a7ec2 scripts/install.py
--- a/scripts/install.py	Sat May 02 19:10:08 2020 +0200
+++ b/scripts/install.py	Sun May 03 09:36:15 2020 +0200
@@ -1027,11 +1027,12 @@
     
     # 1. create desktop shortcuts
     regName = "Desktop"
-    desktopFolder = os.path.normpath(
-        os.path.expandvars(getWinregEntry(regName, regPath)))
-    for linkName, targetPath, iconPath in windowsDesktopEntries():
-        linkPath = os.path.join(desktopFolder, linkName)
-        createWindowsShortcut(linkPath, targetPath, iconPath)
+    desktopEntry = getWinregEntry(regName, regPath)
+    if desktopEntry:
+        desktopFolder = os.path.normpath(os.path.expandvars(desktopEntry))
+        for linkName, targetPath, iconPath in windowsDesktopEntries():
+            linkPath = os.path.join(desktopFolder, linkName)
+            createWindowsShortcut(linkPath, targetPath, iconPath)
     
     # 2. create start menu entry and shortcuts
     regName = "Programs"

eric ide

mercurial