Gurobi comes with a command-line tool and an interactive shell for development and experimentation. Since this type of workflow is not common on Windows systems, we want to help users who are not yet comfortable in such an environment.
Standard tools:
Windows 10 comes with two standard terminals, Command Prompt (cmd) and Windows Power Shell.
To open the command prompt:
- Press Windows+R to open the “Run” box.
- Type “cmd” and then click “OK”.
These terminals lack modern features such as tabbing (multiple terminals in one window) or customizations, so we strongly recommend one of the alternatives listed below:
Alternative tools:
The Windows Subsystem for Linux provides access to a proper Linux kernel from within Windows without requiring an entire virtual machine or something similar. The WSL shell allows the execution of both native Windows and native Linux tools.
This provides support for tabs, more customizations, and also allows running some Linux commands like ls, cat, cp, or rm. Cmder also has built-in git support and can run any console application available on your system (cmd, PowerShell, WSL, etc.).
ConEmu is the foundation of Cmder and provides a similar experience.
Just like Cmder and ConEmu, Windows Terminal can start different terminals and supports tabbing and a modern user experience. You can install it via the Microsoft Store.
Further information
Comments
0 comments
Article is closed for comments.