• 2024年10月16日
• in Linux

GRUBで前回選択したOSがデフォルトで選択されるようにする