barneygale / mark2

minecraft server wrapper, written in python with twisted
Other
105 stars 27 forks source link

Remove mark2.properties requirement in /config #76

Closed vemacs closed 11 years ago

vemacs commented 11 years ago

It makes updating with wget a pain, as I have to copy resources/mark2.default.properties to config/mark2.properties to start the server, and as I use a separate mark2.properties in my server folder, this isn't really needed and could seriously break upgrades.

Is it possible to deprecate this for forwards-compatibility and ease of installing/updating?

barneygale commented 11 years ago

Hey vemacs,

Your server should always inherit from resources/mark2.default.properties. Newer builds of mark2 will prompt you to edit this file on first then, then save the difference to config/mark2.properties. You can happily leave config/mark2.properties blank.

In the past we copied resources/mark2.default.properties wholesale, but as you say this makes upgrading a massive pain.

vemacs commented 11 years ago

Cool, just noticed that.