Aloha Alan, Alan Schmitt <alan.schm...@polytechnique.org> writes:
> Hello, > > I'm trying to write a block in some language (right now shell, but it > will probably be something different) whose output is an org source > block is some language (here coq). I keep looking at the documentation > and I cannot see how to specify the language. If I try something like: > > #+BEGIN_SRC sh :results code > head -n 3 demo.v > #+END_SRC > > When I evaluate the block I get: > > #+RESULTS: > #+BEGIN_SRC sh > Definition toto : forall x, exists y, x = y. > > Lemma foo: forall x, x=x. > #+END_SRC > > How can I have a block with "#+BEGIN_SRC coq" instead? I looked at > http://orgmode.org/manual/Specific-header-arguments.html#Specific-header-arguments > and at http://orgmode.org/manual/results.html#results and could not find > where one would specify the language. I think this can be accomplished by chaining: #+name: first-link #+begin_src sh ECHO "XXX" #+end_src #+begin_src emacs-lisp :var x=first-link() (princ x) #+end_src #+results: : XXX hth, Tom -- Thomas S. Dye http://www.tsdye.com
