とあるvscode拡張をダウンロードしてnpm installしたところ，大量の脆弱性の警告が出ました． found 564 vulnerabilities (65 low, 9 moderate, 486 high, 4 critical) いや脆弱性ありすぎだろ... とりあえず，criticalというヤバそうなものだけ見たいのです…

ノートPCにおいて，UbuntuとWindowsを両方とも使う方法をいくつか試したので記事にします． 1. 仮想マシン 定番であり，これがおすすめです． メリット OSの切り替えや同時使用が簡単にできる パーティションをいじらなくていいので，（スペックに余裕があれ…

もともとWindowsが入っていたPCにUbuntuを入れてデュアルブートにしましたが，Windowsを削除することにしました． そのときの方法のメモです． 注意: 一歩間違えるとデータ消失や起動しなくなる危険があります．自己責任でお願いします． Windows側の準備 Wi…

Windowsのライセンスを物理PCから仮想マシンに移行できたのでメモを残します． Windowsの正規ライセンスはHomeで２万円ほどしますから，有効利用したいですよね． ライセンスの移行方法は，どのようにライセンス認証されているかによって異なります． 私の場…

ocamlfind ocamlopt -o main -package z3 -linkpkg main.ml のようなコマンドでビルドすると，undefined reference to ...のようなものが大量に出てビルドに失敗しました． 参考: stackoverflow.com 環境 Ubuntu 18.04 OCaml 4.06.0 (defaultは4.05.0) opam …

Ubuntuで，LiveUSBなどを使わずに，使用中のhomeディレクトリを別パーティションに移動する方法です． 注意: 一歩間違えるとデータの消失の危険があります．自己責任で実行をお願いします． 基本的は以下のページのやり方に従います． www.maketecheasier.co…

ノートPCに入っているUbuntuから，自宅のデスクトップPC（Windows）にTeamViewerでリモート接続して使おうと思った． しかし，ついAlt+F4などのショートカットキーを押してしまい，TeamViewer自体のウィンドウが閉じてしまって接続が切れることが多発したた…