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