What steps will reproduce the problem?

insmod 1234567.890 insmod 123456789012

produce errors

BUT

insmod 123456.789 insmod 12345678901 insmod 12345.67890 all work

It seems filenames with 3 character extensions can only be 6.3 but you can have 5.5 or 11.0 ??

What is the expected output? What do you see instead?

Can this strange behaviour be fixed?

What version of the product are you using? On what operating system? 0.4.5c

Please provide any additional information below.

The max name length is 11. so 1234567.890 Will work..

OK - I found the problem!!!!

I was typing insmod /123

the command line was

insmod /1234567.890

this gives - filename too long error

if I remove the at the end then

insmod /1234567.890

works.

So parser is not removing whitespace after filename! This is a bug!

Is there any chance to have longer filenames? I use .g4b file extension so this means I only have 7 characters for the batch file name. Thanks

Thanks,that is a bug...