Merge pull request #1459 from wgj/osx_terminal_opt_key

Add suggestions for MacOS Terminal.app users
This commit is contained in:
Zachary Yedidia 2020-01-14 16:54:02 -05:00 committed by GitHub
commit 35dfb1830b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -143,6 +143,9 @@ recommended because it doesn't build micro with version information, and doesn't
If you are using MacOS, you should consider using [iTerm2](http://iterm2.com/) instead of the default Mac terminal. The iTerm2 terminal has much better mouse support as well as better handling of key events. For best keybinding behavior, choose `xterm defaults` under `Preferences->Profiles->Keys->Load Preset`. The newest versions also support true color.
If you still insist on using the default Mac terminal, be sure to set `Use Option key as Meta key` under
`Preferences->Profiles->Keyboard` to use <kbd>option</kbd> as <kbd>alt</kbd>.
### Linux clipboard support
On Linux, clipboard support requires the 'xclip' or 'xsel' commands to be installed.