[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnu-arch-users] Re: Patch : precomimt hook
From: |
Miles Bader |
Subject: |
Re: [Gnu-arch-users] Re: Patch : precomimt hook |
Date: |
Sat, 4 Oct 2003 08:03:48 -0400 |
User-agent: |
Mutt/1.3.28i |
On Sat, Oct 04, 2003 at 09:34:24PM +1000, Robert Collins wrote:
> There are many steps in the execution of a tla
> command, following your logic of introducing a new command for different
> time-steps, we'd need a bunch of different files.
I think the trick is, don't think of $1 as being a command name, think of
as being simply a name that identifies a particular place in the space of
possible tla execution paths. All of the currently named points happen to
come after similarly named commands.
[I do think the current names are a bit misleading -- I'd rather they were
`post-commit' etc.]
-Miles
--
We live, as we dream -- alone....
- [Gnu-arch-users] Re: Patch : precomimt hook, (continued)
- [Gnu-arch-users] Re: Patch : precomimt hook, Samuel Tardieu, 2003/10/02
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/02
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Erik de Castro Lopo, 2003/10/02
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Mark A. Flacy, 2003/10/02
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/03
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Mark A. Flacy, 2003/10/03
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Robert Collins, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Robert Collins, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook,
Miles Bader <=
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Miles Bader, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Mark A. Flacy, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Mark A. Flacy, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Ethan Benson, 2003/10/04
- Re: [Gnu-arch-users] Re: Patch : precomimt hook, Erik de Castro Lopo, 2003/10/05
Re: [Gnu-arch-users] Re: Patch : precomimt hook, Erik de Castro Lopo, 2003/10/02