[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: config files substitution with awk
From: |
Ralf Wildenhues |
Subject: |
Re: config files substitution with awk |
Date: |
Mon, 20 Nov 2006 10:45:42 +0100 |
User-agent: |
Mutt/1.5.13 (2006-11-01) |
* Paolo Bonzini wrote on Mon, Nov 20, 2006 at 10:19:58AM CET:
>
> You should still ask Aharon Robbins whether he has problems with this
> (sed does provide a bootstrapping mechanism that does not require any
> working sed on the machine).
Indeed. I was planning to do that, hopefully by being able to present
to him a patch to gawk. But I wanted to get the idea through here first
(no need to invest extra work if it's not liked, or cannot be made to
work on some of the rarer systems).
Speaking of $extrasub, wouldn't it be useful to document it, or, failing
that, at least add a test so that we don't break it inadvertently?
Cheers,
Ralf
- config files substitution with awk, Ralf Wildenhues, 2006/11/19
- Re: config files substitution with awk, Paul Eggert, 2006/11/20
- Re: config files substitution with awk, Ralf Wildenhues, 2006/11/20
- Re: config files substitution with awk, Paolo Bonzini, 2006/11/21
- Re: config files substitution with awk, Ralf Wildenhues, 2006/11/21
- Re: config files substitution with awk, Paul Eggert, 2006/11/21
- Re: config files substitution with awk, Paul Eggert, 2006/11/21
- Re: config files substitution with awk, Ralf Wildenhues, 2006/11/21
- Message not available
- Re: config files substitution with awk, Paul Eggert, 2006/11/21
- Re: config files substitution with awk, Ralf Wildenhues, 2006/11/24
- Re: config files substitution with awk, Paul Eggert, 2006/11/26