03/button_led2.hsp の差し替え

[RollMan]

https://github.com/OmeSatoFoundation/ome-doc/issues/285 にもあるように，教科書記述の button_led2.hsp とこのリポジトリに含まれているものが相違していた．議論の結果，教科書の版に合わせることになったため，リポジトリの同ファイルを更新し， また講座で受講生の Raspberry Pi をアップグレードするためのスクリプトを用意する (#73)．

スクリプトの要件

• /usr/local/share/ome/03/button_led2.hsp を教科書版で上書きする．
• 上記のような操作を行う bash script を作成し，USB メモリにストア，講座直前に受講生にそれを渡し，接続させ，ダブルクリックで実行してもらうことで上書き完了とする．

懸念点

/usr/local/share/ome 以下は一般ユーザの書き込み権限がない．ダブルクリックすると勝手に (必要があれば ASKPASS_PROGRAM を起動し) 昇格してくれると楽．

[RollMan]

$ tar zcvf omeupdates_2023-07-12.tar.gz -P -C $tmpdir usr --transform 's/^/\//'
usr/
usr/local/
usr/local/share/
usr/local/share/ome/
usr/local/share/ome/03/
usr/local/share/ome/03/button_led2.hsp
$ tar tvfP omeupdates_2023-07-12.tar.gz
drwxr-xr-x 1000/1000 0 2023-07-12 15:19 /usr/
drwxr-xr-x 1000/1000 0 2023-07-12 15:19 /usr/local/
drwxr-xr-x 1000/1000 0 2023-07-12 15:19 /usr/local/share/
drwxr-xr-x 1000/1000 0 2023-07-12 15:19 /usr/local/share/ome/
drwxr-xr-x 1000/1000 0 2023-07-12 15:20 /usr/local/share/ome/03/
-rw-r--r-- 1000/1000 387 2023-07-12 15:20 /usr/local/share/ome/03/button_led2.hsp

[RollMan]

http://ome-edu.nshimizu.com/index.php?2023%E5%B9%B4%E8%AC%9B%E7%BE%A9%E6%9C%9F%E9%96%93%E4%B8%AD%E3%81%AE%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB%E3%82%A2%E3%83%83%E3%83%97%E3%83%87%E3%83%BC%E3%83%88 (internal link)

[RollMan]

現在の Raspberry Pi OS に FAT32 の USB メモリを接続すると，attributes が 644 で，ダブルクリックでインストールスクリプトを実行できない．

• 受講生に executable のつけ方を教え，実行させる
• ext4 で USB メモリを作り，executbale が保持されるようにする

本来は前者が好ましいが，煩雑なので今回は後者を採用する．