Browse Source

prefer HOME as suggested by developers in my fork of minetestmapper

master
poikilos 8 years ago
committed by Jacob Gustafson
parent
commit
fc5569ab83
  1. 6
      minetestinfo.py

6
minetestinfo.py

@ -311,10 +311,10 @@ def init_minetestinfo():
minetestinfo.prepare_var("www_minetest_path", default_www_minetest_path, "your web server directory (or other folder where minetest website features and data should be placed)") minetestinfo.prepare_var("www_minetest_path", default_www_minetest_path, "your web server directory (or other folder where minetest website features and data should be placed)")
if 'USERPROFILE' in os.environ: # if os_name=="windows": if 'HOME' in os.environ: # if os_name=="windows":
profile_path = os.environ['USERPROFILE']
else:
profile_path = os.environ['HOME'] profile_path = os.environ['HOME']
else:
profile_path = os.environ['USERPROFILE']
default_profile_minetest_path = os.path.join(profile_path,".minetest") default_profile_minetest_path = os.path.join(profile_path,".minetest")
if os.path.isdir("C:\\games\\Minetest"): # if (os_name=="windows"): if os.path.isdir("C:\\games\\Minetest"): # if (os_name=="windows"):

Loading…
Cancel
Save