Re: [PATCH] getopt-long permits numbers for short options.

2023-09-05 Thread Marius Bakke
Janneke Nieuwenhuizen skriver: > Marius Bakke writes: > >> * module/ice-9/getopt-long.scm (short-opt-rx): Add 0-9. > > Hehe, reminds me of > > https://lists.gnu.org/archive/html/bug-guile/2018-07/msg9.html Hey, time flies... There is now: https://debbugs.gnu.org/cgi/bugreport.cgi?bug

Re: [PATCH] getopt-long permits numbers for short options.

2023-09-05 Thread Dale Mellor
On Tue, 2023-09-05 at 08:25 +0200, Janneke Nieuwenhuizen wrote: > Marius Bakke writes: > > > * module/ice-9/getopt-long.scm (short-opt-rx): Add 0-9. > > Hehe, reminds me of > >     > https://lists.gnu.org/archive/html/bug-guile/2018-07/msg9.html > > Also note https://debbugs.gnu.org/db/42