Révision 1550

tmp/org.txm.setups/shared/debian/usr/bin/TXM (revision 1550)
116 116 
		exit 1
117 117 
    fi
118 118
119 
	mkdir "$TXMHOME/corpora"
120 
    if [ ! -d "$TXMHOME/corpora" ]; then
121 
		echo "TXM: Impossible to access '$TXMHOME/corpora' directory. Aborting$LOGFILESMSG"
122 
		exit 1
123 
    fi
124
125 119 
    mkdir "$DOTTXMHOME/configuration"
126 120 
    if [ ! -d "$DOTTXMHOME/configuration" ]; then
127 121 
		echo "TXM: Impossible to access '$DOTTXMHOME/configuration' directory. Aborting$LOGFILESMSG"
......
146 140 
		echo "TXM: Can't launch TXM: failed to create the $DOTTXMHOME/$STAMP install STAMP file$LOGFILESMSG"
147 141 
        exit 1
148 142 
    fi
143 
else
144 
	echo "TXM: already up to date.";
149 145 
fi
150 146 

  		





  151
  147
  
    
) 1>&3 2>&4


  		












Formats disponibles :
  Unified diff