Gurobi有交互式的命令行工具而且,由于这种类型的工作流在Windows系统上并不常见,我们希望帮助那些还不适应这种环境的用户。
标准工具:
Windows 10带有两个标准终端,命令提示符(cmd)和Windows Power Shell。
—命令提示符(cmd):
打开命令提示符:
- 按Windows+R打开“运行”框。
- 键入" cmd ",然后按"确定"。
——Windows PowerShell:
这些终端缺乏诸如制表符(在一个窗口中有多个终端)或自定义等现代功能,所以我们强烈推荐下面列出的一种替代方案:
可供选择的工具
- Windows子系统(WSL):
Linux的Windows子系统提供从Windows内部访问适当的Linux内核,而不需要整个虚拟机或类似的东西。WSL shell允许执行本机Windows和本机Linux工具。
-Windows终端:
就像Cmder和ConEmu一样,Windows Terminal可以启动不同的终端,并支持制表符和现代用户体验。你可以通过微软商店安装它。
- - - - - - cmd:
这提供了对选项卡和更多自定义的支持,还允许运行一些Linux命令,如ls、cat、cp或rm。Cmder也有内置的git支持,可以运行系统上的任何控制台应用程序(cmd, PowerShell, WSL等)。
——ConEmu:
ConEmu是Cmder的基础,提供了类似的体验。