comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: OpenToken : accessing the lexeme from synthetize
Date: Sat, 8 Jul 2017 06:20:51 -0700 (PDT)
Date: 2017-07-08T06:20:51-07:00	[thread overview]
Message-ID: <4299b5bc-1483-40f9-879a-26b1e79776d8@googlegroups.com> (raw)
In-Reply-To: <595ffdbc$0$8861$426a74cc@news.free.fr>

On Friday, July 7, 2017 at 4:31:42 PM UTC-5, Lionel Draghi wrote:
> Le 02/07/2017 à 18:50, Stephen Leake a écrit :
> > On Saturday, July 1, 2017 at 7:01:03 PM UTC-5, Lionel Draghi wrote:
> >> BTW, is there a simpler way to get the identifier ?
> >> Sounds still complex to me this way.
> >
> > OpenToken can be confusing.
> >
> > I've pretty much rewritten it in the monotone branch org.wisitoken, and I'm working on adding error recovery to the parser. You might want to switch to using that. There are no examples, but the tests can be used as examples.
> >
> > You can only get it from the Ada France monotone server; see http://www.stephe-leake.org/ada-france-access.html
> >
> 
> OK to switch, but unfortunately I m not familiar with monotone.
> 
> mtn --db ~/monotone-dbs/ada-france.db --key '' pull www.ada-france.org 
> "org.wisi*"
> 
> seems to have some effect :
> <snip>
> 
> but there is nothing left in the directory.
> Am I missing something obvious?

'mtn pull' only pulls revs from the remote repository to the local repository.

You must follow it with 'mtn checkout' to populate a workspace on your disk. You can use 'mtn list branches' first to show what branches are present in your local repository.


      reply	other threads:[~2017-07-08 13:20 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-01 22:20 OpenToken : accessing the lexeme from synthetize Lionel Draghi
2017-07-02  0:01 ` Lionel Draghi
2017-07-02 16:50   ` Stephen Leake
2017-07-07 21:31     ` Lionel Draghi
2017-07-08 13:20       ` Stephen Leake [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox