Gurobi has an interactive command-line tool and, 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.
Windows 10 comes with two standard terminals, Command Prompt (cmd) and Windows Power Shell.
- Command prompt (cmd):
To open the command prompt:
- Press Windows+R to open the “Run” box.
- Type “cmd” and then click “OK”.
- Windows PowerShell:
These terminals lack modern features such as tabbing (multiple terminals in one window) or customizations.
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.
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.
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.