Alan Schmitt <alan.schm...@polytechnique.org> writes:
> I tried this alternate approach, to directly generate the block:
>
> #+name: fetchcoq2
> #+BEGIN_SRC sh :exports none :results raw :var f="demo.v"
> echo "#+BEGIN_SRC coq"
> head $f
> echo
> echo "#+END_SRC"
> #+END_SRC
>
> #+call: fetchcoq2("demo.v")
>
> But then I get a result like this, with extra quoting:
>
> #+RESULTS:
> : #+BEGIN_SRC coq
> : Definition toto : forall x, exists y, x = y.
> :
> : Lemma foo: forall x, x=x.
> : #+END_SRC
>
> I feel like I'm missing something obvious. ":results code" is exactly
> what I want (put the results in a SRC block), but I don't know how to
> specify the headers of the generated code block.
You need :results raw at the end of the call line.
#+name: fetchcoq2
#+BEGIN_SRC sh :exports none :results raw :var f="demo.v"
echo "#+BEGIN_SRC coq"
echo $f
echo "#+END_SRC"
#+END_SRC
#+results: fetchcoq2
#+BEGIN_SRC coq
demo.v
#+END_SRC
#+call: fetchcoq2("demo.v") :results raw
#+results:
#+BEGIN_SRC coq
demo.v
#+END_SRC
hth,
Tom
--
Thomas S. Dye
http://www.tsdye.com
