docker exec ctrl-p 二度押し問題

dockerでlinuxのテスト環境を作成したのだけど、どうもshellのctrl-pの動作がおかしい。 ぐぐってみたら おなじことに ハマっているひとを見つけた。
問題は、ctrl-pがデタッチのキーシーケンスのプリフィックスだかららしい。なので、 .docker/config.json に、

  "Detachkeys": "ctrl-[,q"

を追加すると解決。すばらしい。

vscodeでtabをctrl-Iで入力する

vscodeでなぜかctrl-I がtabにならないので。 keybindings.jsonに記述。しかし、なんでUIでできないの？？別にいいけど。

[
    {
        "key": "ctrl-I",
        "command": "tab",
        "when": "editorTextFocus && !editorReadonly && !editorTabMovesFocus"
    },
]

vscodeで line space調整

vscodeではfontサイズは設定のUIで変えられるが、行間が調整できない。 Settingsを開いて右上の"{}"アイコンをクリックするとJSONで直接編集できるようになる。

"editor.lineHeight": 15,

を追記すれば良い。 便利。

Siera以降でkeyrepeatをより小さく

Mac OS Siera以降で標準UIよりもキーリピートを小さくする。以前はKarabinerでできていたのだけど、できなくなったとのこと。 こちら より。

defaults write -g InitialKeyRepeat -int 10 # normal minimum is 15 (225 ms)
defaults write -g KeyRepeat -int 1 # normal minimum is 2 (30 ms)

要再起動。面倒。。