On 2016-07-26 17:25, Christof Ressi wrote:
thanks for your explanations! now I realize that it's a actually Tcl problem.
well, it's pretty easy to create this characters: [makefilename %c] to the rescue.
I already managed to create those characters as symbols with [list tosymbol]. as long as they don't make their way to the GUI, everything is fine :-). making JSON strings by appending lists and symbols is actually not that much of a hassle.
btw, maybe it's time to document all of the relevant format strings for [makefilename]. just in case Miller is reading this ;-).
they are already well documented: man 3 printf
fgmasdr IOhannes