From mboxrd@z Thu Jan  1 00:00:00 1970
From: tsd@tsdye.com (Thomas S. Dye)
Subject: Re: How do I specify the language for a :results code block
Date: Fri, 29 Nov 2013 12:10:52 -1000
Message-ID: <m1bo12yi37.fsf@poto.westell.com>
References: <m27gbq3mkp.fsf@polytechnique.org>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:60569)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <tsd@tsdye.com>) id 1VmWHA-0005i8-7x
	for emacs-orgmode@gnu.org; Fri, 29 Nov 2013 17:11:10 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <tsd@tsdye.com>) id 1VmWH4-0007p2-JN
	for emacs-orgmode@gnu.org; Fri, 29 Nov 2013 17:11:04 -0500
Received: from oproxy16-pub.mail.unifiedlayer.com ([69.89.22.201]:35867)
	by eggs.gnu.org with smtp (Exim 4.71) (envelope-from <tsd@tsdye.com>)
	id 1VmWH4-0007or-Aw
	for emacs-orgmode@gnu.org; Fri, 29 Nov 2013 17:10:58 -0500
In-Reply-To: <m27gbq3mkp.fsf@polytechnique.org> (Alan Schmitt's message of
	"Fri, 29 Nov 2013 22:49:42 +0100")
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=subscribe>
Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org
To: Alan Schmitt <alan.schmitt@polytechnique.org>
Cc: emacs-orgmode <emacs-orgmode@gnu.org>

Aloha Alan,

Alan Schmitt <alan.schmitt@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