まず、標準のsettings.jsonにマクロを定義し、keybindings.jsonでそのマクロを使うようにキーを割り当てるという二段構え。
サンプルを参考に書いたこのマクロは、現在の行を下にコピーして、コメントアウトして、その次の行に行く、というもの
"macros.list": {
"commentDown": [
"editor.action.copyLinesDownAction",
"editor.action.addCommentLine",
"cursorLineEnd",
"cursorRight"
]
}
これをkeybindings.jsonでは
{
"key": "ctrl+cmd+/",
"command": "macros.commentDown"
}
のようにして参照する。すばらしい。。けど、このくらいデフォルトでついていてほしいなあ。。
docker run -p 8000:8888 --name xxx ubuntuとかしておくと、なかの8888で起動したものがそとで8000で使える。
File "/home/xxxx/anaconda3/lib/python3.7/site-packages/tornado/netutil.py", line 174, in bind_sockets
sock.bind(sockaddr)
OSError: [Errno 99] Cannot assign requested address
これを回避するには --ip をつけて起動する。
jupyter notebook --ip 0.0.0.0これも面倒なので、config ファイルに書く。
jupyter notebook --generate-configとやると ~/.jupyter/jupyter_notebook_config.py というファイルができるので、 この中のc.NotebookApp.io を下記のように設定する。
c.NotebookApp.ip = '0.0.0.0'
jupyter notebook passwordとやると聞いてくるので、適当に指定する。
["a","b",]みたいな物があると、パースに失敗するらしくリストに出てこない。logにもでないので、理由がわかるまでに時間を浪費した。
{
"title": "for vscode asciidoc",
"rules": [
{
"description": "turn off IME with rbrace",
"manipulators": [
{
"type": "basic",
"from": {
"key_code": "open_bracket",
"modifiers": {
"mandatory": [
"left_shift"
]
}
},
"to": [
{
"key_code": "spacebar",
"modifiers": [
"command"
]
},
{
"key_code": "open_bracket",
"modifiers": [
"shift"
]
}
],
"conditions": [
{
"type": "input_source_if",
"input_sources": [
{
"language": "ja"
}
]
}
]
}
]
}
]
}
from traitlets import HasTraits, Integer, observe
class TraitletsExample(HasTraits):
num = Integer(5, help="a number").tag(config=True)
@observe('num')
def _num_changed(self, change):
print("{name} changed from {old} to {new}".format(**change))
widgetではobserveをあとから呼び出しているが、通常はこうやって関数を登録するようだ。
便利そうだが、おそそうでもある。
slider = widgets.IntSlider() slider.observe(lambda change: print(change), names='value') display(slider)のようにobserveでコールバック関数を登録すればいい。 スライドをいじると下のようなイベントがたくさん飛んでくるのが見える。
{'name': 'value', 'old': 0, 'new': 1, 'owner': IntSlider(value=1), 'type': 'change'}
observeのnames引数がよくわからないが、これを指定しないと
_property_lockというnameのチェンジイベントもたくさん飛んでくるようになる。
{'name': '_property_lock', 'old': {'value': 1}, 'new': {}, 'owner': IntSlider(value=1), 'type': 'change'}
なのでつけておいたほうがいいのだろう。
ドキュメントによるとIPython traitlets というものがイベント周りをなんとかしているようなのだけど、どこをみたら書いてあるんだろう。。ここにあった。。
// Toggle between terminal and editor focus
{ "key": "ctrl+`", "command": "workbench.action.terminal.focus"},
{ "key": "ctrl+`", "command": "workbench.action.focusActiveEditorGroup", "when": "terminalFocus"}
SMCリセットとPRAMリセットも当然試してみたが、無駄。 ということで諦めかけたのだけど、40インチの1080ディスプレイというのは壮烈に使いにくくて、悲しすぎるので もう少し頑張ってみた。
いろいろ調べてみたところ こんな記事を見つけた
/System/Library/Displays/Contents/Resources/Overridesというディレクトリ があり、ここにEDIDのファイルを適切においておくと、ディスプレイから送ってくる情報をオーバライドできる。 ということがわかった。 とはいえ、ただしいEDIDファイルの作り方もわからないし、ファイル名（ディスプレイの名乗り上の型式名）もわからない。 ということで、先の記事からリンクされているrubyのスクリプトを使ってみた。このスクリプトは色空間のおかしなディスプレイの 色空間を強制的にRGBに戻したEDIDファイルを作ってくれるものなのだけど、その際に接続されているディスプレイの 型番をちゃんと調べてくれる。 もう一つ面倒なのはEDIDファイルのディレクトリは、システムインテグレーションの対象なので普通にはsudo をしても いじることができない。なので、まずシステムインテグレーションを切る必要がある。
X11 connection uses different authentication protocolこれでググったところ、サーバ側に.ssh/rc があると、xauthがサーバ側で動かない、というのが 問題だったらしい。。うーんなるほどわからん。
教訓はデバッグレベルは最高にするといい、ということだな。-v とかケチケチしてはいけない。
In [5]: for a, b, c in itertools.product([1,2,3], ['a', 'b', 'c'], ['x', 'y', 'z']): ...: print(a, b,c) 1 a x 1 a y 1 a z 1 b x 1 b y 1 b z 1 c x 1 c y 1 c z 2 a x 2 a y 2 a z 2 b x 2 b y 2 b z 2 c x 2 c y 2 c z 3 a x 3 a y 3 a z 3 b x 3 b y 3 b z 3 c x 3 c y 3 c z
>>> def genCounter(): ... c = 0 ... def inc(): ... nonlocal c ... c += 1 ... return c ... return inc ... >>> c = genCounter() >>> c <function genCounter.<locals>.inc at 0x10fa58598> >>> c() 1 >>> c() 2面倒くさい。。
"Detachkeys": "ctrl-[,q"を追加すると解決。すばらしい。
[
{
"key": "ctrl-I",
"command": "tab",
"when": "editorTextFocus && !editorReadonly && !editorTabMovesFocus"
},
]
"editor.lineHeight": 15,を追記すれば良い。 便利。
defaults write -g InitialKeyRepeat -int 10 # normal minimum is 15 (225 ms) defaults write -g KeyRepeat -int 1 # normal minimum is 2 (30 ms)要再起動。面倒。。
> python test.py TEXT FONTSIZEのように使う。
import cairo
import sys
WIDTH, HEIGHT = 256, 64
text = sys.argv[1]
fontsize = int(sys.argv[2])
surface = cairo.ImageSurface(cairo.FORMAT_RGB24, WIDTH, HEIGHT)
ctx = cairo.Context(surface)
ctx.set_source_rgb(1, 1, 1) # White
ctx.rectangle(0, 0, WIDTH, HEIGHT) # clear background
ctx.fill()
ctx.set_source_rgb(0,0,0) # Black
ctx.set_font_size(fontsize)
sf = ctx.get_scaled_font()
extents = sf.text_extents(text)
ctx.move_to(WIDTH / 2 - extents.width /2, HEIGHT /2 + extents.height / 2)
ctx.show_text(text)
surface.write_to_png("example.png")
import django
SECRET_KEY = '01234567890123456789012345678901234567890123456789'
django.setup()
DEBUG = True
TEMPLATES = [
{
'BACKEND': 'django.template.backends.django.DjangoTemplates',
'APP_DIRS': True,
},
]