注释
.jpg "用户 INI 在某些 Windows PC 上不工作 #578"){kind=avatar}
所有者
|
您可以尝试设置 HOME 变量吗？ |
.jpg "用户 INI 在某些 Windows PC 上不工作 #578"){kind=avatar}
作者
|
嗨瓦西利斯， 问题实际上是相反的。如果未设置 HOME，则一切正常，当设置 HOME 时，它将失败。HOME 需要在某些 PC 上设置，以用于它们正在运行的特定程序（我相信 Cadence 工具集）使用 HOME 设置（并且 HOME 未设置给用户）。 我创建了一个代码分支，并快速修复了这个问题，但我不确定我是否遵循了 github 的正确工作流程，因为这是我第一次尝试。我也不确定我的修复程序如何在非 Windows 操作系统上运行。可能需要做更多的工作以确保它是跨平台兼容的。– 彼得 |
.jpg "用户 INI 在某些 Windows PC 上不工作 #578"){kind=avatar}
合作者
|
这仍然是一个问题吗？ |
.png "用户 INI 在某些 Windows PC 上不工作 #578"){kind=avatar}
函数
iniUser = os.path.expanduser(“
/.%s” % ( prg ))/.%s.history” % ( prg ))hisFile = os.path.expanduser(“
在某些 Windows PC 上无法正常运行。这似乎与系统上是否设置了“HOME”有关，如果是，则 os.path.expanduser 提供“HOME”而不是“USERPROFILE”