blob: 7caf6643106b20beac4ac5afd0b0dd5f0fc9c783 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
import os
import sys
# terminal commands, which are unfortunately os-specific
def whichOs():
if sys.platform == "win32":
return "windows"
else:
return "good" # ...right?
def deleteDataDir():
if whichOs() == "windows":
os.system("rmdir \s Data")
else:
os.system("rm -r Data")
def addDataDir():
if whichOs() == "windows":
os.system("mkdir Data\Players")
else:
os.system("mkdir -p Data/Players")
print("Created new empty Data directory")
|