[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Decimal point or decimal comma
|
From: |
Paul Jarc |
|
Subject: |
Re: Decimal point or decimal comma |
|
Date: |
Mon, 10 Aug 2009 17:06:11 -0400 |
|
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux) |
Andreas Schwab <address@hidden> wrote:
> #!/bin/sh
> "exec" "gawk" "--use-lc-numeric" "-f" "$0" "$@" && 0
>
> It requires a sane shell (for "$@"), but otherwise should work better.
Ah, and we can get around that too:
#!/bin/sh
"test" "0" "=" "$#" &&
"exec" "gawk" "--use-lc-numeric" "-f" "$0" && 0
"exec" "gawk" "--use-lc-numeric" "-f" "$0" "$@" && 0
...
paul
Re: Decimal point or decimal comma, Göran Uddeborg, 2009/08/11