Révision 1914
| tmp/org.txm.rcp.feature/win/TXM.bat (revision 1914) | ||
|---|---|---|
| 63 | 63 |
mkdir "%DOTTXM%configuration" |
| 64 | 64 |
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%user directory.") |
| 65 | 65 |
|
| 66 |
mkdir "%DOTTXM%data" |
|
| 67 |
IF errorlevel 1 (echo "TXM: failed to create %DOTTXM%data directory.") |
|
| 68 |
|
|
| 69 | 66 |
rmdir /s /q "%TXMHOME%\.metadata" |
| 70 | 67 |
IF errorlevel 1 (echo "TXM: failed to delete the %TXMHOME%corpora\.metadata directory.") |
| 71 | 68 |
|
| tmp/org.txm.setups/shared/mac/Applications/TXM.app/Contents/MacOS/TXM (revision 1914) | ||
|---|---|---|
| 29 | 29 |
exit 1 |
| 30 | 30 |
fi |
| 31 | 31 |
|
| 32 |
|
|
| 33 | 32 |
echo "DOTTXMHOME='$DOTTXMHOME'" |
| 34 | 33 |
if [ ! -d "$DOTTXMHOME" ]; then |
| 35 | 34 |
mkdir "$DOTTXMHOME" |
| ... | ... | |
| 90 | 89 |
|
| 91 | 90 |
mkdir "$DOTTXMHOME" |
| 92 | 91 |
mkdir "$DOTTXMHOME/user" |
| 93 |
mkdir "$DOTTXMHOME/data"
|
|
| 92 |
mkdir "$DOTTXMHOME/configuration"
|
|
| 94 | 93 |
|
| 95 | 94 |
if [ ! -d "$DOTTXMHOME" ]; then |
| 96 | 95 |
echo "TXM: Impossible to access '$DOTTXMHOME' directory. Aborting$LOGFILESMSG" |
| ... | ... | |
| 98 | 97 |
fi |
| 99 | 98 |
|
| 100 | 99 |
echo "TXM: resetting RCP workspace." |
| 101 |
rm -rf "$TXMHOME/corpora/.metadata"
|
|
| 102 |
if [ -d "$TXMHOME/corpora/.metadata" ]; then
|
|
| 103 |
echo "TXM: Failed to remove $TXMHOME/corpora/.metadata"
|
|
| 100 |
rm -rf "$TXMHOME/.metadata" |
|
| 101 |
if [ -d "$TXMHOME/.metadata" ]; then |
|
| 102 |
echo "TXM: Failed to remove $TXMHOME/.metadata" |
|
| 104 | 103 |
exit 1 ; |
| 105 | 104 |
fi |
| 106 | 105 |
|
Formats disponibles : Unified diff