21 work_dir = os.getcwd()
23 interface_opts = [
'Setup problem',
'Change makefile',
24 'Auto-update',
'Save Setup',
'Quit']
28 interface_optval = interface_opts[-1]
30 while interface_optval != interface_opts[-1]:
31 menu.SetTitle(
"Python setup (Aug 2015)",
"Working dir: "+work_dir+
"\nPLUTO dir : "+pluto_dir)
35 if interface_optval == interface_opts[0]:
36 if not os.path.exists(work_dir+
'/init.c'):
37 shutil.copy(pluto_dir+
'/Src/Templates/init.c',work_dir+
'/init.c')
39 if not os.path.exists(work_dir+
'/pluto.ini'):
40 shutil.copy(pluto_dir+
'/Src/Templates/pluto.ini',work_dir+
'/pluto.ini')
44 if interface_optval == interface_opts[1]:
47 if interface_optval == interface_opts[2]:
50 menu.Print (
"Configuration up to date",sleep=0.75)
53 if interface_optval == interface_opts[3]: