- cmds = ''
- ext = ''
- if sys.platform == "win32":
- if os.path.exists(self.parent().fichierOut):
- cmds += 'del %s\n' % self.parent().fichierOut
- ext = '.bat'
- else:
- cmds += '#!/bin/bash\n'
- cmds += 'pwd\n'
- #cmds += 'which mg-surfopt.exe\n'
- cmds += 'echo "DISTENE_LICENSE_FILE="$DISTENE_LICENSE_FILE\n'
- cmds += 'echo "DLIM8VAR="$DLIM8VAR\n'
- cmds += 'rm -f %s\n' % self.parent().fichierOut
- ext = '.bash'