[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] How do I specify the language for a :results code block

From: Thomas S. Dye
Subject: Re: [O] How do I specify the language for a :results code block
Date: Fri, 29 Nov 2013 12:10:52 -1000

Aloha Alan,

Alan Schmitt <address@hidden> 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
> When I evaluate the block I get:
> #+BEGIN_SRC sh
> Definition toto : forall x, exists y, x = y.
> Lemma foo: forall x, x=x.
> 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

#+begin_src emacs-lisp :var x=first-link()
(princ x)



Thomas S. Dye

reply via email to

[Prev in Thread] Current Thread [Next in Thread]