jupyter labの設定にあたり

jupyterlabは多くの設定を上のメニューバーより行うことができる。「Setting」→「Advanced Settings Editor」でアクセスできる。

terminalの設定

まとめると以下の設定になる。

{
    "fontFamily": "Ubuntu Mono derivative Powerline",
        "theme": "dark"
}

fc-list

で利用可能なfontの一覧を取得可能。私は以下のものを使用しているので、それに設定。

全体のテーマではなく、terminal独自に設定を行う。 Draculaが良いが、インストールがめんどくさいので、darkでお茶を濁す。

jupyter labextension install jupyterlab_vim

で追加する。Node.jsが必要。正直、使い勝手はそんなに良くない。現在の選択状況により同じショートカットキーでもjupyter labのものかvimのショートカットがに分かれるので、使うのに頭を使う必要がある。

pip install jupyter_http_over_ws

Colaboratoryをlocalマシンで動かすために必要。この機能を使用するには起動時にも以下のオプションが必要。セキュリティ上、必要な時だけこれをつけて起動するべきだと思う。

jupyter notebook --NotebookApp.allow_origin='https://colab.research.google.com'

node.js が必要

pip install jupyterlab_latex
jupyter serverextension enable --sys-prefix jupyterlab_latex
jupyter labextension install @jupyterlab/latex

pip install ipywidgets