This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| osx_switch_java_script [2015/03/05 09:16] – herwarth | osx_switch_java_script [2015/03/05 09:26] (current) – herwarth | ||
|---|---|---|---|
| Line 21: | Line 21: | ||
| fi | fi | ||
| ;; | ;; | ||
| - | 7) if [ -d / | + | 7|8) if [ -d / |
| then | then | ||
| sudo rm / | sudo rm / | ||
| Line 34: | Line 34: | ||
| exit 0 | exit 0 | ||
| else | else | ||
| - | echo " | + | echo " |
| exit 1 | exit 1 | ||
| fi | fi | ||
| ;; | ;; | ||
| - | *) echo "usage $0 6|7" | + | *) echo "usage $0 6|7|8" |
| exit 1 ;; | exit 1 ;; | ||
| esac | esac | ||