adjust permissions of all modified files

2022-05-04 14:55:03 +02:00 · 2022-05-04 14:55:03 +02:00 · f13691fadc
parent 07b95a3dec
commit f13691fadc
1 changed files with 1 additions and 0 deletions
--- a/install/MarcMentat/apply_DAMASK_modifications.py
+++ b/install/MarcMentat/apply_DAMASK_modifications.py
@ -76,6 +76,7 @@ damask.util.run(f'xvfb-run -a {executable} -compile {menu_file}')
 print('setting file access rights...')

 for file in (glob.glob(str(marc_root/f'marc{marc_version}/tools/*_damask*')) +
+             glob.glob(str(marc_root/f'mentat{marc_version}/bin/edit_window')) +
             glob.glob(str(marc_root/f'mentat{marc_version}/bin/kill[4-6]')) +
             glob.glob(str(marc_root/f'mentat{marc_version}/bin/submit[4-6]'))):
    os.chmod(file , 0o755)