Follow-up Comment #3, patch #2020 (project freeciv):

> Is ".bin" a classical extension of a script? I thought it was
> mostly used for binary files. Probably ".sh" is a better
> extension. Should this pushed into "script/"? 

Yes, the script should go into the script directory. The extension is not
fixed. It is something I use for executeable scripts. Perhaps it should be
removed (see replace?)


Reply to this item at:


  Nachricht geschickt von/durch Gna!

Freeciv-dev mailing list

Reply via email to