[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[O] How do I specify the language for a :results code block
From: |
Alan Schmitt |
Subject: |
[O] How do I specify the language for a :results code block |
Date: |
Fri, 29 Nov 2013 22:49:42 +0100 |
User-agent: |
mu4e 0.9.9.6pre2; emacs 24.3.1 |
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
- [O] How do I specify the language for a :results code block,
Alan Schmitt <=