Révision 1220 tmp/org.txm.setups/shared/mac/CLEAN
| CLEAN (revision 1220) | ||
|---|---|---|
| 1 | 1 |
#!/bin/sh |
| 2 |
echo "** TXM preinstall: remove /Applications/TXM" |
|
| 3 |
if [ ! -f "/Applications/TXM" ]; then |
|
| 4 |
sudo rm -rf /Applications/TXM |
|
| 2 |
|
|
| 3 |
VERSION="-TXMVERSION" |
|
| 4 |
|
|
| 5 |
echo "** TXM preinstall: remove /Applications/TXM${VERSION}.app"
|
|
| 6 |
if [ ! -f "/Applications/TXM${VERSION}.app" ]; then
|
|
| 7 |
sudo rm -rf /Applications/TXM${VERSION}.app
|
|
| 5 | 8 |
if [ $? != 0 ];then |
| 6 |
echo "** TXM preinstall: failed to delete /Applications/TXM" |
|
| 9 |
echo "** TXM preinstall: failed to delete /Applications/TXM${VERSION}.app"
|
|
| 7 | 10 |
exit 1 |
| 8 | 11 |
fi |
| 9 | 12 |
fi |
| ... | ... | |
| 28 | 31 |
fi |
| 29 | 32 |
fi |
| 30 | 33 |
|
| 31 |
if [ ! -f "$HOME/TXM/.txm" ]; then |
|
| 32 |
sudo rm -rf "$HOME/TXM/.txm" |
|
| 34 |
if [ ! -f "$HOME/TXM${VERSION}/.txm" ]; then
|
|
| 35 |
sudo rm -rf "$HOME/TXM${VERSION}/.txm"
|
|
| 33 | 36 |
if [ $? != 0 ];then |
| 34 |
echo "** TXM preinstall: failed to delete $HOME/TXM/.txm" |
|
| 37 |
echo "** TXM preinstall: failed to delete $HOME/TXM${VERSION}/.txm"
|
|
| 35 | 38 |
exit 1 |
| 36 | 39 |
fi |
| 40 |
fi |
|
| 41 |
|
|
| 42 |
if [ ! -f "$HOME/TXM${VERSION}/corpora/.metadata" ]; then
|
|
| 43 |
sudo rm -rf "$HOME/TXM${VERSION}/corpora/.metadata"
|
|
| 44 |
if [ $? != 0 ];then |
|
| 45 |
echo "** TXM preinstall: failed to delete $HOME/TXM${VERSION}/corpora/.metadata"
|
|
| 46 |
exit 1 |
|
| 47 |
fi |
|
| 37 | 48 |
fi |
Formats disponibles : Unified diff