Differences
This shows you the differences between the selected revisions of the page.
| 2020-02-18 | 2020-07-07 | ||
| 5.17 released (martin) | wsl anchor (martin) | ||
| Line 100: | Line 100: | ||
| (assuming a Unix-like system and the ''bash'' shell) | (assuming a Unix-like system and the ''bash'' shell) | ||
| - | ==== WSL ==== | + | ==== [[wsl]] WSL ==== |
| If you want to use OpenSSH ''ssh'' client in [[https://docs.microsoft.com/en-us/windows/wsl/about|Windows Subsystem for Linux]],((Also known as "Bash on Ubuntu on Windows".)) instead of PuTTY, you need to configure the following command [[ui_pref_integration_app|preferences]]: &winpath &win64 | If you want to use OpenSSH ''ssh'' client in [[https://docs.microsoft.com/en-us/windows/wsl/about|Windows Subsystem for Linux]],((Also known as "Bash on Ubuntu on Windows".)) instead of PuTTY, you need to configure the following command [[ui_pref_integration_app|preferences]]: &winpath &win64 | ||