URI: 
       midi-play: add midi-to-file script - annna - Annna the nice friendly bot.
  HTML git clone git://bitreich.org/annna/ git://enlrupgkhuxnvlhsf6lc3fziv5h2hhfrinws65d7roiv6bfj7d652fid.onion/annna/
   DIR Log
   DIR Files
   DIR Refs
   DIR Tags
   DIR README
       ---
   DIR commit 181019165f861c28b8e7089328baff2b8dfe1fca
   DIR parent 05af58b9a6164c7d46e266ed2149e29fc562402b
  HTML Author: Anders Damsgaard <anders@adamsgaard.dk>
       Date:   Fri,  9 Aug 2024 11:52:46 +0200
       
       midi-play: add midi-to-file script
       
       Signed-off-by: Annna Robert-Houdin <annna@bitreich.org>
       
       Diffstat:
         A midi-play                           |       4 ++++
       
       1 file changed, 4 insertions(+), 0 deletions(-)
       ---
   DIR diff --git a/midi-play b/midi-play
       @@ -0,0 +1,4 @@
       +#!/bin/sh
       +# read midi files as arguments and produces audio in .ogg format as stdout
       +soundfont="${SOUNDFONT:-/home/annna/bin/modules/midi-media/soundfonts/generaluser_gs_v1.471.sf2}"
       +fluidsynth -ni "$soundfont" -T oga -F - "$@"