Idris 1管道在这里: - job: Linux vmImage: 'ubuntu-16.04'Idris 1 located here: https://github.com/idris-lang/Idris-dev # Linux build using the latestpipelineid: 2
ru
我正在研究如何使用命名管道来控制在linux下运行的.net核心应用程序的某些方面(例如:触发保存、关闭等等)。我还尝试使用/tmp/somepipename创建临时管道,但是这也失败了,原因是以下消息:The name of a pipe on this platform must only include characters通过查看命名管道的.NET核心测试,这不应该是一个问题,因为它们还使用Path.GetTemporaryFileName()生成临时管道
下