On Tue, 21 Mar 2017, Urs Liska wrote:
But this is a JSON string, so you'll be conveniently able to extract this with https://docs.python.org/2/library/json.html or https://docs.python.org/3/library/json.html
Good, that will help. Also thanks Dmytro for pointing me to jq. -- MT _______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
