equal
deleted
inserted
replaced
19 PHARO=5.0 |
19 PHARO=5.0 |
20 fi |
20 fi |
21 |
21 |
22 if [ ! -x pharo-ui ]; then |
22 if [ ! -x pharo-ui ]; then |
23 rm -rf pharo pharo-ui pharo-vm |
23 rm -rf pharo pharo-ui pharo-vm |
24 wget -O- http://swing.fit.cvut.cz/download/pharo/vm-swing | bash |
24 if [ "$PHARO" == "5.0" ]; then |
|
25 wget -O- http://swing.fit.cvut.cz/download/pharo/vm-spur-swing | bash |
|
26 else |
|
27 wget -O- http://swing.fit.cvut.cz/download/pharo/vm-swing | bash |
|
28 fi |
25 fi |
29 fi |
26 |
30 |
27 if [ ! -r Pharo.image ]; then |
31 if [ ! -r Pharo.image ]; then |
28 rm -rf Pharo.image Pharo.changes |
32 rm -rf Pharo.image Pharo.changes |
29 if [ "$PHARO" == "3.0" ]; then |
33 if [ "$PHARO" == "3.0" ]; then |