Copy from micro to another program does not work when micro running over ssh from Git Bash about micro HOT 5 OPEN

https://github.com/zyedidia/micro/blob/master/runtime/help/copypaste.md

from micro.

Unfortunately the help link on copypaste did not list Git Bash among the supported terminals on Windows. Actually it does not mention any Windows terminals that I know of.

The only workaround I could find was settings.json as follows:

{
"mouse": false,
"ruler": false
}

And then doing the copy with mouse select followed by Ctrl+Insert.

Related, is there any way to toggle the ruler from the keyboard, rather than setting in permanently in the settings.json?

from micro.

Related, is there any way to toggle the ruler from the keyboard, rather than setting in permanently in the settings.json?

By default Ctrl-r is bound to toggle the ruler (you can read all the default keybindings in help defaultkeys). To bind it to another key you can use the ToggleRuler action in your bindings.json.

More generally you can modify any setting with the set/setlocal commands: setlocal ruler off.

from micro.

Unfortunately the help link on copypaste did not list Git Bash among the supported terminals on Windows. Actually it does not mention any Windows terminals that I know of.

So I guess you'd need to find out yourself if your terminal supports OSC 52.

from micro.

The terminal in windows Git Bash seems to be mintty:
https://mintty.github.io/ unfortunately that does not fully support OSC 52, mintty/mintty#258 seems to have rejected that on security grounds.

But to recap, when I disable mouse in micro, I can use mouse to select in the terminal and copy using terminal keys (Ctrl-Insert). This seems make it on-par with vim or nano, so good enough.

Thanks for all the help.

from micro.