emacs-orgmode@gnu.org archives
 help / color / mirror / code / Atom feed
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: emacs-orgmode <emacs-orgmode@gnu.org>
Subject: How do I specify the language for a :results code block
Date: Fri, 29 Nov 2013 22:49:42 +0100	[thread overview]
Message-ID: <m27gbq3mkp.fsf@polytechnique.org> (raw)

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.

Thanks,

Alan

             reply	other threads:[~2013-11-29 21:50 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-11-29 21:49 Alan Schmitt [this message]
2013-11-29 22:10 ` How do I specify the language for a :results code block Thomas S. Dye
2013-11-29 23:48   ` Charles Berry
2013-11-30 10:52     ` Alan Schmitt
2013-11-30 16:57       ` Thomas S. Dye
2013-12-02 10:41         ` Alan Schmitt
2013-12-02 11:27           ` Sebastien Vauban
2013-12-02 13:04             ` Alan Schmitt
2013-12-02 18:09               ` Sean O'Halpin
2013-12-04 13:18                 ` Alan Schmitt
2013-12-04 20:06                   ` Fabrice Niessen
2013-12-05 12:33                     ` Alan Schmitt
2013-12-02 16:53           ` Thomas S. Dye
2013-12-04 12:35             ` Alan Schmitt

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.orgmode.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=m27gbq3mkp.fsf@polytechnique.org \
    --to=alan.schmitt@polytechnique.org \
    --cc=emacs-orgmode@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).