[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gawk-3.1.8 printf doesn't handle %08s leading zeros anymore
|
From: |
Franz Sirl |
|
Subject: |
gawk-3.1.8 printf doesn't handle %08s leading zeros anymore |
|
Date: |
Fri, 25 Feb 2011 15:18:10 +0100 |
Hi,
this simple script doesn't work anymore as documented:
gawk 'BEGIN{printf "%08s", "xx"}'
According to the documentation it should print '000000xx', but it prints
' xx' now. This worked until gawk-3.1.7.
Franz
- gawk-3.1.8 printf doesn't handle %08s leading zeros anymore,
Franz Sirl <=