Tips:UbuntuとWindows間でコピペ
WSLのUbuntuとWindowsの間でのコピペがちょっと不便です．
スマートではありませんが，比較的まともにコピペするやり方を紹介します．
※y20以降，協力して下さった学生さんに感謝します．
まず、UbuntuでコピーしたものをWindowsに貼り付ける手順についてです．
０．Ubuntuのプロパティを変更
Ubuntuアイコン右クリック→プロパティ
https://gyazo.com/b720cf9e7cd72327dd9e68de248a18ab
Ubuntuのオプションで ▼▼ をチェックする．
https://gyazo.com/9d1d176b930055240569a490da251a9f
①「簡易編集モード」をチェック
→ これでコピペが可能に
②「Ctrl+Shift+Vをコピー/貼り付けとして使用」にチェック
Ubuntuのアプリ (nanoなど) に影響されずにWindows側からのペーストに便利． ※Ubuntu → Winのコピペには使えない (改行コードの問題)
③「行の折り返し選択を有効」のチェックを外す
これを設定すると範囲指定は矩形 (四角形) になる．
長い行の右端が切れないように注意．
※行末のコードがUnixとWindowsでは異なるため，Ubuntuの行の概念でコピーすると，Windowsに貼り付けた時に，改行されずに長い1 行になってしまう．
Ctrl+Shift+Cでコピーした時も同様． ◀◀ なので上の②はUbuntu → Winは使えない
※ずっと同じ設定を使う：「既定値」
「プロパティ」による設定は，ターミナルを閉じると消える．
同じ設定をずっと使いたい場合は，アイコンメニューで「プロパティ」ではなく，「既定値」を選んで，上記の設定を行う．
◆コピペの手順
１．マウスで範囲選択 → Enterでコピー
マウスで範囲指定します．矩形の範囲になる．
https://gyazo.com/569d50fe3437e34dee9e4cae300be493
右端が切れないように範囲指定する．
Enterを押すと反転が戻り，バッファにコピーされる．
https://gyazo.com/4ecc67b59805e22cb54fc35567c10354
Enterのほかに，「マウス右クリック」「Ctrl+Insert」 (テンキーの上の方にある) でも同じ．
２．Windowsのアプリにペースト
普通にCtrl + V，またはマウス 右クリック → ペースト
https://gyazo.com/ca1b4184ef652099b3140f70dfdb9a3f
以上，UbuntuでコピーしたのをWindowsに貼り付ける手順でした．
◆Ubuntuへの貼付けは，Ctrl+Shift+V
Windowsでコピー (Ctrl+C) したものをUbuntuの画面に貼り付けるのは，
Ctrl+Shift+V
マウス 右クリック ◀◀ 右クリック１回だけ
どちらでもできるはずです．
※が，時々どちらかでないとできないことがあります．
なぜかはよくわかりません……
★もう少しスマートなやり方が見つかれば，紹介します．
※参考
vimでの共有について
◆メモ
WSLのtmuxはたまに暴走するのでプロセスをkillしたくなりますが、暴走するとWSLコンソールからkillできなくなります。その場合は、Windowsのタスクマネージャーでプロセスを直接おとすか、WSLを再起動すればいいです。WSLの再起動はWSL上からはできなくて、コマンドプロンプトでwsl --terminate Ubuntuとたたく（Ubuntuはディストリビューション名）。
以上．
2020/6/18