Another approach would be:
'r<0>7.0' 8!:2,.i.3
0000000
0000001
0000002
Anyways... if we're going to have ":!.n, I think I would prefer that n
represent the numeric base to be used for formatting. (But that's
something for future versions of ourselves to worry about.)
--
Raul
On Wed, Sep 21, 2022 at 1:11 AM Jan-Pieter Jacobs
<janpieter.jac...@gmail.com> wrote:
>
> Or also very close to your proposal:
> _7{.!.'0' ": 8
> 0000008
>
> Cheers,
>
> Jan-Pieter
>
> On Tue, 20 Sept 2022, 16:50 Raul Miller, <rauldmil...@gmail.com> wrote:
>
> > 1}.":1e7+8
> > 0000008
> >
> > FYI,
> >
> > --
> > Raul
> >
> > On Tue, Sep 20, 2022 at 10:46 AM David Lambert <b49p23t...@gmail.com>
> > wrote:
> > >
> > > 7":!.'0'8
> > >
> > > 0000008
> > >
> > > Use: uniform length filenames are really nice.
> > >
> > > Thanks! Dave
> > >
> > > ----------------------------------------------------------------------
> > > For information about J forums see http://www.jsoftware.com/forums.htm
> > ----------------------------------------------------------------------
> > For information about J forums see http://www.jsoftware.com/forums.htm
> >
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
