ずっとLinux MintとWindows10のデュアルブートにしていたんだけど，Mint20が出たタイミングで，19 -> 20に上げるくらいなら別のOSに入れ替えようと思い立った．なので，このLinux MintをManjaroに入れ替えた．のでメモ．