授業中のトラブルシリーズ

OSで UTM.app で Fedora OS 41 Beta のinstall中... に

　うっかり、マウスキャプチャーのボタンを押してしまった

で抜け方がわからん... iPhone を横でこそこそと検索

　Option + Command で抜けられる

ですか...

virsh console は抜けるのは C-] なんだよな

授業中に、いろいろハマるのは面白い。この前は agda + VScode で、はまってました。

compiler の例題の cmake が動かないのは

　 export SDKROOT=$(xcrun --sdk macosx --show-sdk-path)
　 cmake -DCMAKE_MAKE_PROGRAM=make

とするらしい

(いや、去年までは動いてたんだが...)