2020-05-20から1日間の記事一覧
jupyter labの設定にあたり jupyterlabは多くの設定を上のメニューバーより行うことができる。 「Setting」→「Advanced Settings Editor」でアクセスできる。 terminalの設定 設定概要 まとめると以下の設定になる。 { "fontFamily": "Ubuntu Mono derivativ…
jupyter labの設定にあたり jupyterlabは多くの設定を上のメニューバーより行うことができる。 「Setting」→「Advanced Settings Editor」でアクセスできる。 terminalの設定 設定概要 まとめると以下の設定になる。 { "fontFamily": "Ubuntu Mono derivativ…