I wrote a bash script [1] with similar functions for my piano, which produces ogg recording and raw midi recording, as well as splitting realtime rendered midi stream (via fluidsynth) into two audiostreams (I've mostly used it for Zoom calls with a piano teacher).
[1] https://github.com/seletskiy/dotfiles/blob/master/bin/piano