Radis:Bad file format reading the append only file: make a backup of your AOF file, then use ./redis-check-aof --fix

 表題に書いてあるように

# Bad file format reading the append only file: make a backup of your AOF file, then use ./redis-check-aof --fix <filename>

というエラーが出た場合

環境

• Mac
• Learning Locker in Docker Desktop

原因

• appendonly.aofファイルというのが破損している。

• Redis の AOF は「追記型ログ」なので、最後の部分だけ破損しやすい

対策

以下のコマンドを実行。意味は以下に解説。

（イメージのpull）

• redis-check-aof などのツールを 同じバージョン環境で実行できるようにするためにpull

（バックアップ処理）

• alpine コンテナを一時的に起動し、終了後は自動削除。
• Redis のデータが入っている Docker ボリュームを、このコンテナの /data にマウント。
• 今いる作業ディレクトリ（ホスト）を /backup にマウント。
•  tar ファイルをホストに書き出せる。
• Alpine のシェルで /data に移動し、その中身を tar.gz に固めて /backup に保存。

（修復処理）

• docker run : 新しいコンテナを一時的に起動する。
• --rm : コンテナ終了後に自動で削除する。ゴミが残らない。
• -it : 対話的モード（-i 標準入力を開く、-t 擬似端末を割り当てる）。
• Docker ボリューム learning-locker-docker-image-main_learninglocker-redis をコンテナ内の /data にマウントする。
• Redis のデータファイル（appendonly.aof や dump.rdb）がここに入っている。
• サーバーではなく、同じイメージに含まれるツール redis-check-aof を実行したい。そこで --entrypoint で実行プログラムを差し替えている。

Learning Locker をDockerでインストールする

 Learning Lockerのインストールをしようとして、実にくだらないミスと言うか無駄な時間を使ってしまったので備忘録。

結論

 Learning Lockerを入れる場合は、下記のkromiiiさんのリポジトリを利用するのが無難です。

• https://github.com/kromiii/learning-analytics-at-home
• https://github.com/kromiii/learning-locker-docker-image

前者の方は、他にもいろいろはいっているので、後者のほうがいいかもしれない。説明は後者が詳しいです。

おすすめしない方法

上記、リポジトリのことはすでに知っていたのですが、なぜかMac専用と思い込んで、Windowsだと別のイメージを探さなきゃ、、、と、chatgptに聞いたのがバッドケース。ChatGPTは以下のADLリポジトリを推薦してくれたんですがね。。

• https://github.com/adlnet/learninglocker-docker

リポジトリの更新履歴を見ると4年前で止まってるし、古い言語仕様に合わせてdockerファイルを書き換えたり。。。を延々と繰り返して、一見すると動いたようで実は一部もモジュールが動いてなくて、ユーザ登録できなかったりとか、、、数時間試行錯誤して、これ？違うぞ？と思って、上記に立ち戻ったのが結末です。

なお、LearninLockerの本体も実は更新止まってるし、あとどれだけ続くのかが心配なところです。

反転授業用ビデオ作成にOffice Mixが面白そう

Microsoftから Office Mixというツールが登場しています。これは、

オンラインレッスンを簡単に作る

というコンセプトの元で作られたパワーポイントのアドインソフトウェアです。このソフトを利用するには、

1. Office2013 with ServicePack1のインストール
2. Offece Mixのサイトからプラグインをダウンロード＆インストール

という手順が必要です。インストールが成功すると、パワーポイントにMixというリボンができています。

使い方の詳細はここでは書きませんが、基本的に、

• パワーポイントスライドまたはデスクトップの画面をベースにする
• スライドを任意のタイミングで進行させながらスライドへの書き込みが可能
• 書き込みと同時に、ビデオ、音声の埋め込みが可能。

というシンプルな操作で直感的に理解できるでしょう。

下の画面は、Khan Academy　っぽく、パワーポイントのスライドを黒地にしてそれに書き込んでみました。試してみるとわかりますが、ペンタブレットで書くのって意外と難しいですね。慣れが必要です。

まだまだPreview版ということで

• 書き込みの削除不可
• 音声、ビデオの編集不可

というように機能としては不十分ですが、これからどんどん改善されると思います。反転授業用のビデオ教材作成に使えないかなとちょっと思ってます。