root / tmp / org.txm.setups / shared / mac / CLEAN @ 1719
Historique | Voir | Annoter | Télécharger (1,8 ko)
| 1 |
#!/bin/sh |
|---|---|
| 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
|
| 8 |
if [ $? != 0 ];then |
| 9 |
echo "** TXM preinstall: failed to delete /Applications/TXM${VERSION}.app"
|
| 10 |
exit 1 |
| 11 |
fi |
| 12 |
fi |
| 13 |
|
| 14 |
echo "Backuping previous preferences if any: $HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs" |
| 15 |
if [ -f "$HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs" ]; then |
| 16 |
echo "Found preference file: $HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs" |
| 17 |
rm -f "/tmp/org.txm.rcpapplication.prefs" |
| 18 |
cp "$HOME/.txm/configuration/.settings/org.txm.rcpapplication.prefs" "/tmp/org.txm.rcpapplication.prefs" |
| 19 |
if [ $? != 0 ]; then |
| 20 |
echo "Failed to copy old preference file in /tmp/org.txm.rcpapplication.prefs" |
| 21 |
fi |
| 22 |
fi |
| 23 |
|
| 24 |
echo "Backuping previous preferences if any: $HOME/TXM/.txm/configuration/.settings/org.txm.rcpapplication.prefs" |
| 25 |
if [ -f "$HOME/TXM/.txm/configuration/.settings/org.txm.rcpapplication.prefs" ]; then |
| 26 |
echo "Found preference file: $HOME/TXM/.txm/configuration/.settings/org.txm.rcpapplication.prefs" |
| 27 |
rm -f "/tmp/org.txm.rcpapplication.prefs" |
| 28 |
cp "$HOME/TXM/.txm/configuration/.settings/org.txm.rcpapplication.prefs" "/tmp/org.txm.rcpapplication.prefs" |
| 29 |
if [ $? != 0 ]; then |
| 30 |
echo "Failed to copy old preference file in /tmp/org.txm.rcpapplication.prefs" |
| 31 |
fi |
| 32 |
fi |
| 33 |
|
| 34 |
if [ ! -f "$HOME/TXM${VERSION}/.txm" ]; then
|
| 35 |
sudo rm -rf "$HOME/TXM${VERSION}/.txm"
|
| 36 |
if [ $? != 0 ];then |
| 37 |
echo "** TXM preinstall: failed to delete $HOME/TXM${VERSION}/.txm"
|
| 38 |
exit 1 |
| 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 |
| 48 |
fi |