PCの調子が悪くなって軽率に再起動してみたら、GRUBが起動ディスクにアクセスできない的なエラーを出して起動できなくなっていた…。が、ディスクのSATAケーブルを抜き差ししてみたら読み込んでくれた。接触…?
ht164とその界隈の方たちのMastodonサーバーです。