[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [shell-script] Outras Formas de Fazer Isso
|
From: |
Felipe Kellermann |
|
Subject: |
Re: [shell-script] Outras Formas de Fazer Isso |
|
Date: |
Fri, 10 Feb 2006 22:00:24 -0200 (BRST) |
|
User-agent: |
Pine <http://www.washington.edu/pine/> |
On Fri, 10 Feb 2006 2:42pm -0200, Gentil de Bortoli Júnior wrote:
> essa opção só aceitaria %f, %g e %e, sem modificações.
>
> Perdi por não tentar. :)
Se quiseres evitar de usar o seq e usar apenas shell, tu podes fazer de
uma forma bem simples assim (funciona apenas em bash3 ou zsh, claro):
bash3-patched$ printf "%05d\n" {10..15}
00010
00011
00012
00013
00014
00015
bash3-patched$
Similar da zsh, de onde a funcionalidade anterior da bash3 foi copiada:
orchid% printf "%05d\n" {10..15}
00010
00011
00012
00013
00014
00015
orchid%
--
Felipe Kellermann