まずはisoファイルのダウンロードから ダウンロードしたらsha1の検証を行う参考 USBインストーラーを作成する いつもrufusを使ってる PCで見る日本語はかっこ悪いと思っているので設定はだいたい英語にしている 初期設定 ミラーサーバーの更新 https://turtl…

macOS以外のOSでも画面はスマートにしたい 今までは下のアプリケーションのオプションに追加してスクロールバーの表示をいい感じにしていた forum.vivaldi.net けど、最近このオプションが使えなく？なったのでchrome拡張のスクロールバーを非表示にして対応…

研究室の同僚に Singularity 教えてって言われた が、面白そうだしそんなに難しくないかなと思ったので、 そのまま必要としてる環境を作ってみて def ファイル渡すことにした。 (実際、その方が Singularity 使ってる感があったのでそうした) こちらが rakud…

TL ; DR Windows の環境は全部WSLで何とかしたい 唐突にWSLgで研究環境を構築したい欲が！ じゃあWSLでやればいいじゃん！(ということで環境構築していく) まずはWSLにManjaroを入れるところから 無事にManjaroが入ったなら次はAgdaのインストールだ 文字化…

昨日、突然デスクトップPCがネットワークに繋がらなくなった いろいろ疑ったりしながら調査した結果、どうやら以前設定したネットワークブリッジがDHCPから割り当てられるipをぶんどっているようだった。 よしじゃあこのブリッジを消してしまえばいいじゃん…