WSLでPowerlevel10kを使う時に日本語を表示する方法

Powerlevel10kをフルに活用するためには、Nerd Fontsを使用する必要があります。公式ではMeslo Nerd Font patched for Powerlevel10kが推奨されていますが、これを利用した場合、単にUbuntu Terminal等のプロパティでフォントをこれに変更しても、日本語が…

2020-01-29

Ubuntu 18.04にWindows 10をデュアルブート

備忘録です。環境 Ubuntu 18.04 LTS RTX 2080 Ti Windowsのインストールプロダクトキーは持っている前提。公式サイトからインストールメディアを作成する。 Ubuntuで作成しようとしたらUSBメモリのフォーマットでちょっと手こずったのでWindowsの別PCで作…

2019-10-21

Ubuntu 18.04 に JUMAN++ Ver.1.02 をインストール

環境 Ubuntu 18.04.3 LTS Anaconda Python 3.7.4 必須・推奨ライブラリのインストール公式のマニュアルを参考に、ライブラリをインストールします。 sudo apt install google-perftools libgoogle-perftools-dev libboost-dev 推奨ライブラリのうち、libunw…

2019-07-11

TSUBAME3.0の使い方

はじめにこの記事はもともと岡崎研究室の新メンバーに向けて内部Wikiに書いたものを少し編集し公開したものです。なのでグループやグループディスクが既に存在している前提で書かれていますが、所属可能なTSUBAMEグループがない場合は新しくグループを作る…

2019-07-11

JupyterLabでtqdmを使えるようにするためにcondaでnodejsとipywidgetsをインストールする

初期状態のJupyter Labでtqdmやtqdm_notebookを使おうとしてもうまく動作しません。これを解決するためには、ipywidgetsのJupyterLab Extensionをインストールする必要があります。 ipywidgetsのインストールまだipywidgetsがインストールされていない場合…

2018-11-09

aptでインストール済みのパッケージ構成を（他のサーバで）復元する

Ubuntu

古いサーバにaptでインストールされているパッケージたちを新しいサーバにもインストールする必要があり、とりあえずググって出てきた方法で試したがうまくいかず、他にないか探していたらちょうどいいものがあったのでメモ。環境移行前、移行先のサーバ共…

2018-08-20

Hugo + Academic + Netlify で一瞬でウェブサイトを作って公開する

記事タイトルで一瞬でウェブサイトを作るとか言ってるので、何が起きているのかの説明は後回しにして、まずは最短の手順を示したいと思います。 1. GitHub 上に Academic のテンプレートをダウンロードしつつ Netlify と連携以下のリンクを踏んで緑色のボタ…

2018-04-19

Ubuntu のユーザにあとからホームディレクトリを設定する方法

日本語で「Ubuntu ホームディレクトリあとから」とググってもなぜか誰も言及してる人がいなくて、ないのか……と思ったが英語で検索してみたらあったのでメモ。 mkhomedir_helper <username> と打てばそのユーザーのホームディレクトリがuseraddで-mオプションを指定し</username>…