Add build scripts

This commit is contained in:
minetest 2019-02-04 14:06:37 +01:00
parent cf37a31fd9
commit b1e5ebeb29
2 changed files with 24 additions and 0 deletions

View File

@ -0,0 +1,9 @@
player8::fast,noclip,grant,teleport,fly:
player7::fast,noclip,grant,teleport,fly:
player6::fast,noclip,grant,teleport,fly:
player5::fast,noclip,grant,teleport,fly:
player4::fast,noclip,grant,teleport,fly:
player3::fast,noclip,grant,teleport,fly:
player2::fast,noclip,grant,teleport,fly:
player1::fast,noclip,grant,teleport,fly:
admin::fast,noclip,grant,teleport,fly:1549284667

View File

@ -0,0 +1,15 @@
var filename = arguments[0];
var exportDir = arguments[1];
print('Loading world ' + filename);
var world = wp.getWorld()
.fromFile(filename) // The filename of the world to load; may be absolute or relative to the current directory
.go();
print('Exporting world to ' + exportDir);
wp.exportWorld(world)
.toDirectory(exportDir)
.go();
print('Export completed')