Revision 1908 tmp/org.txm.rcp.feature/win/TXM.bat

TXM.bat (revision 1908)
25 25

  
26 26
:USERHOMEOK
27 27

  
28
set TXMHOME=%USERHOME%TXM-%VERSION%\
29
set DOTTXM=%TXMHOME%.txm\
28
set TXMHOME="%USERHOME%TXM-%VERSION%\"
29
set DOTTXM="%USERHOME%.TXM-%VERSION%\"
30 30

  
31 31
mkdir "%TXMHOME%" 
32 32

  
33 33
mkdir "%DOTTXM%" 
34
attrib +h "%DOTTXM%" /s /d
34 35

  
35 36
echo "TXM: getting install date from %installdir%STAMP and %DOTTXM%STAMP files" 
36 37
Fc "%installdir%STAMP" "%DOTTXM%STAMP" 
......
59 60
mkdir "%DOTTXM%user" 
60 61
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%user directory.")
61 62

  
63
mkdir "%DOTTXM%configuration" 
64
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%user directory.")
65

  
62 66
mkdir "%DOTTXM%data" 
63 67
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%data directory.")
64 68

  
65
rmdir /s /q "%TXMHOME%corpora\.metadata"
69
rmdir /s /q "%TXMHOME%\.metadata"
66 70
IF errorlevel 1 (echo "TXM: failed to delete the %TXMHOME%corpora\.metadata directory.")
67 71

  
68 72
copy "%installdir%STAMP" "%DOTTXM%STAMP" 
......
72 76

  
73 77
set _JAVA_OPTIONS=-Duser.home="%USERHOME%"
74 78
echo running "%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" %ARGS% -data "%DOTTXM%data" -user "%DOTTXM%user" -install "%installdir%"
75
REM "%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" %ARGS% -data "%DOTTXM%corpora" -user "%DOTTXM%user" -install "%installdir%"
76
"%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" %ARGS% -data "%TXMHOME%corpora" -user "%DOTTXM%user" -install "%installdir%\"
79
REM "%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" %ARGS% -user "%DOTTXM%user" -install "%installdir%"
80
"%installdir%TXM.exe" -run --launcher.ini "%DOTTXM%TXM.ini" %ARGS% -configuration "%DOTTXM%configuration" -user "%DOTTXM%user" -install "%installdir%\"

Also available in: Unified diff