Subject: Brew upgrade で library が消える

うっかり、やってしまったんですが、(ちなみに、まだ、macOS 上げてない。そろそろ上げないと)

　　勝手に、library を消す

ってのをやられて、Agda が

　　% ./dist-2.6.1/build/Agda/agda
　　dyld: Library not loaded: /usr/local/opt/icu4c/lib/libicuuc.63.dylib
　　　Referenced from: /Users/kono/src/public/agda/./dist-2.6.1/build/Agda/agda
　　　Reason: image not found
　　zsh: abort　　　./dist-2.6.1/build/Agda/agda

とか文句を言うように。cabal で build しなおせばよいかと思ったんですが、ちゃんとやってくれない。

で、Time Machine から戻せば良いと思ったんですが... Time Machine は少し前のなら、その場で戻せます。なのだが、

　　/usr の下が Time MachineのFinderから見れない

なんだよそれ。仕方ないので、教官室の外付けHDDを取りに。そっちは、

　　mountすれば、そのまま任意の日付が見れる。しかも、sh から

で、rsync で戻して終わり。

 rsync -av /Volumes/leoBackup2017/Backups.backupdb/lll/2019-07-23-154627/Macintosh\ HD/usr/local/opt/icu4c/lib/libicu* /usr/local/opt/icu4c/lib/

まぁ、いいんだけどさ。たぶん、cabal の configure しなおしみたいなのがあるかも。