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