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
