Microと他のアプリ間で文字列をやり取りできるようにクリップボードの設定をしておきます。
設定方法はsettings.jsonを直接編集とコマンドモードによる変更の2つあります。
settings.jsonの編集の方法は
$ micro ~/.config/micro/settings.json
でsettings.jsonを開き、
"clipboard": "terminal"
を追加します。
記述方法の例としまして、
~/.config/micro/settings.jsonの値が
{}
であった場合は、
{
"clipboard": "terminal"
}
にします。
コマンドモードの場合は、


Microの画面でCtrl + eを押し、コマンドモードに切り替えた後、
> set clipboard terminal
を入力して、エンターキーを押します。
Microから他のメモ帳アプリ等にコピー&ペースト(貼り付け)を行う場合は、MicroのCtrl + c で文字列をコピーして、他のメモ帳アプリ上でCtrl + vでフォーカスを当てた箇所に文字列がペーストされますが、他のメモ帳アプリ等からMicroでコピー&ペーストを行う場合は、コピーの方はCtrl + cで良いですが、ペーストの方はShift(※) + Ctrl + vになります。
※クロームブックであればキーボード左側の⇧
※~/.config/micro/settings.jsonで設定できる項目(英語)は下記のURLに記載があります
micro/runtime/help/options.md at master · zyedidia/micro
補足
Microのクリップボードの設定で指定できる値は下記になります。
・external:xclip/xselまたはwl-clipboard(Linux)、pbcopy/pbpaste(macOS)、システムコール(Windows)などの外部ツールを使用してクリップボードにアクセス
※上記の外部ツールがインストールされていない場合はinternalになります。
・terminal:ターミナルエミュレータを使用してクリップボードにアクセス(OSC 52)
・internal:Micro内蔵クリップボードにアクセス
追記
Linux環境でクリップボード(clipboard)をterminalで意図した動作にならない場合は、
$ sudo apt update $ sudo apt install wl-clipboard $ micro ~/.config/micro/settings.json
{
"clipboard": "external"
}
に変更して保存します。