[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Re: noweb
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] Re: noweb |
Date: |
09 Aug 2006 16:10:22 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
Martin Rubey <address@hidden> writes:
> I think the following, saved as executable in $AXIOM/lib
sorry, this should read: $AXIOM/lib/SPADEDIT
> does what you want. Should be easy to modify to work with pamphlets instead,
> I guess.
>
> Martin
>
> PS: I know very little about bash, you are welcome to rewrite it as you like
> it
>
> #! /bin/bash
>
> ## get the filename (replace spad by spad.pamphlet to work with pamphlets
> ## instead.
>
> f=$(basename $1 .spad)
>
> ## get the file and the line number. We can assume that grep produces only one
> ## answer, I guess
>
> h=$(grep -n ")abb.* $f " $AXIOM/src/algebra/*)
>
> ## get the filename
> name=${h%%:*}
>
> ## get the number
> number1=${h#*:}
>
> number=${number1%:*}
>
> ## start emacs
>
> emacs +$number $name
- Re: [Axiom-mail] Re: noweb, (continued)
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/09
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/09
- Re: [Axiom-mail] Re: noweb, Martin Rubey, 2006/08/09
- Re: [Axiom-mail] Re: noweb,
Martin Rubey <=
- RE: [Axiom-mail] Re: noweb, C Y, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/09
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-mail] Re: noweb, root, 2006/08/13
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14