From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Charles Berry <ccberry@ucsd.edu>
Cc: emacs-orgmode@gnu.org
Subject: Re: How do I specify the language for a :results code block
Date: Sat, 30 Nov 2013 11:52:56 +0100 [thread overview]
Message-ID: <m2r49y17qv.fsf@polytechnique.org> (raw)
In-Reply-To: <loom.20131130T001741-64@post.gmane.org>
Hello Thomas and Charles,
ccberry@ucsd.edu writes:
> A simple example: generate code in sh that is run in emacs-lisp
This is almost what I want, with two differences: I don't want to run
the generated code, but to pretty-print it, and I want to do this with
another language than emacs-lisp.
> #+name: make-elisp
> #+BEGIN_SRC sh :exports none :var fun="+"
> echo "(" $fun "1 2)"
> #+END_SRC
>
> #+BEGIN_SRC emacs-lisp :noweb yes :exports results
> <<make-elisp()>>
> #+END_SRC
>
> #+RESULTS:
> : 3
>
> #+BEGIN_SRC emacs-lisp :noweb yes :exports results
> <<make-elisp("-")>>
> #+END_SRC
>
> #+RESULTS:
> : -1
>
> #+BEGIN_SRC emacs-lisp :noweb yes :exports results
> <<make-elisp("list")>>
> #+END_SRC
>
> #+RESULTS:
> | 1 | 2 |
I tried this, but I cannot make it fit my purpose. What I want is a
function that will create an org mode source block to be exported as
nicely formatted source code.
Here is what I tried:
#+name: fetchcoq
#+BEGIN_SRC sh :exports none :var f="demo.v"
head $f
#+END_SRC
#+BEGIN_SRC coq :noweb yes :exports code
<<fetchcoq("demo.v")>>
#+END_SRC
If I export this, I get a block with lists, as if the results of
"fetchcoq" was translated into an elisp data structure:
,----
| (("Definition toto : forall x" "exists y" "x = y.") ("" "" "") ("Lemma foo: forall x" "x=x." ""))
`----
I tried this alternate approach, to directly generate the block:
#+name: fetchcoq2
#+BEGIN_SRC sh :exports none :results raw :var f="demo.v"
echo "#+BEGIN_SRC coq"
head $f
echo
echo "#+END_SRC"
#+END_SRC
#+call: fetchcoq2("demo.v")
But then I get a result like this, with extra quoting:
#+RESULTS:
: #+BEGIN_SRC coq
: Definition toto : forall x, exists y, x = y.
:
: Lemma foo: forall x, x=x.
: #+END_SRC
I feel like I'm missing something obvious. ":results code" is exactly
what I want (put the results in a SRC block), but I don't know how to
specify the headers of the generated code block.
Thanks,
Alan
next prev parent reply other threads:[~2013-11-30 12:06 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-29 21:49 How do I specify the language for a :results code block Alan Schmitt
2013-11-29 22:10 ` Thomas S. Dye
2013-11-29 23:48 ` Charles Berry
2013-11-30 10:52 ` Alan Schmitt [this message]
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
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m2r49y17qv.fsf@polytechnique.org \
--to=alan.schmitt@polytechnique.org \
--cc=ccberry@ucsd.edu \
--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 external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.