Revision 1914 tmp/org.txm.setups/shared/mac/Applications/TXM.app/Contents/MacOS/TXM

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

  

Also available in: Unified diff