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:

  <http://gna.org/patch/?2020>

_______________________________________________
  Nachricht geschickt von/durch Gna!
  http://gna.org/


_______________________________________________
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev

Reply via email to