From 19d054741ba632d4cc664b89e694d07fe0b568f1 Mon Sep 17 00:00:00 2001
From: Graham Northup <grissess@nexusg.org>
Date: Wed, 15 Feb 2017 19:52:01 -0500
Subject: Tools to make GRUB_INIT_TUNEs!

---
 mkiv.py | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'mkiv.py')

diff --git a/mkiv.py b/mkiv.py
index 3ab4081..f363027 100644
--- a/mkiv.py
+++ b/mkiv.py
@@ -705,6 +705,9 @@ for fname in args:
         ivev.set('time', str(mev.abstime))
         ivev.set('data', repr(fw.encode_midi_event(mev.ev)))
 
+    ivargs = ET.SubElement(ivmeta, 'args')
+    ivargs.text = ' '.join('%r' % (i,) for i in sys.argv[1:])
+
     print 'Done.'
     txt = ET.tostring(iv, 'UTF-8')
     open(os.path.splitext(os.path.basename(fname))[0]+'.iv', 'wb').write(txt)
-- 
cgit v1.2.3-70-g09d2