Login
Z3 tests
Help: web-browser
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "web-browser" setting:
A shell command used to launch your preferred web browser when given a URL as an argument. Defaults to "start" on windows, "open" on Mac, and "firefox" on Unix.