先日の1/17に/usrを消してしまいました。正確には、カレントディレクトリにできたusrディレクトリを移動させようとして、うっかり/usrを移動させてしまいました。 /usr消失→状況確認(22:30ごろ) frama-cをインストールしようとして、/usrを消してしまう。Sky…