On Sun, 6 Mar 2011, Henrique Andrade wrote:
When I try to save data (or session, or script) files with dots
in the names, using the GUI, Gretl assumes that all the comes
after that point is an extension name. Suppose I have to create
three files with names that help me to associate them with
Chapter 2.5 of my book:
Data Chapter 2.5
Session Chapter 2.5
Script Chapter 2.5
I all the examples above Gretl creates the respective file with the
extension ".5", instead of ".gdt", ".gretl", and
".inp", respectively.
Gretl's behavior has been that if the user has specified what
looks like a filename extension on saving a file, the program
doesn't append a further extension. So, to save a file with a name
such as "foo-2.5.gdt" you'd have to type the full name, including
the ".gdt" part.
However, plain numbers are arguably not proper "extensions" -- or
at least, not when saving standard gretl file types. I've now
modified things in CVS and the snapshots: in case a file type has
a canonical extension, we'll always append it unless the user has
already done so.
Allin