GPSのログファイルがmicroSDカードに保存されない件、いったんファイルを削除してみたら復活した。しかしその後はまた保存されなくなった。 chkdskを掛けてみたらエラーがあったので、地図ファイルの入っているディレクトリをバックアップしてから再度/fオプ…