我认为这个问题是binDigitToQuadDigit :: Binary -> Quad -- Fin N2 -> Fin N4
binDigitToQuadDigit = weaken . weaken
中的第一次。我的问题是我需要创建批处理程序，它将打印来自给定路径的任何特殊文档。并将其发送到系统中的相应打印机。
例如，我有5台打印机，文件名为＆＃34; menu.html＆＃34;
命令应该是这样的：
stackoverflow谢谢！
答案 0 :(得分：0)
您使用了错误的PRINT语法。这是更正后的语法。
PRINT [/ D：device] [pathname（s）]
说menu.html位于C：/目录中，请尝试这样：
打印c：\ menu.html / c / d：lpt1
这会将menu.html打印到并行端口：lpt1
（请注意，打印只能打印ASCII字符。）
答案 1 :(得分：0)
首先需要设置默认打印机：
RUNDLL32 PRINTUI.DLL,PrintUIEntry /y /n "printer_name"
然后您可以尝试 printJS.bat 打印所需的文件：
call printJS.bat menu.html