mirror of
https://github.com/ankitects/anki.git
synced 2025-09-19 06:22:22 -04:00
Try again if dmg detach fails
This commit is contained in:
parent
742e4a5cd2
commit
a495fbaa8d
1 changed files with 1 additions and 1 deletions
|
@ -28,7 +28,7 @@ open /tmp/Anki-rw.dmg
|
||||||
sleep 2
|
sleep 2
|
||||||
open ${script_folder}/set-dmg-settings.app
|
open ${script_folder}/set-dmg-settings.app
|
||||||
sleep 2
|
sleep 2
|
||||||
hdiutil detach "/Volumes/Anki"
|
hdiutil detach "/Volumes/Anki" || (sleep 3; hdiutil detach /Volumes/Anki)
|
||||||
sleep 1
|
sleep 1
|
||||||
if [ -d "/Volumes/Anki" ]
|
if [ -d "/Volumes/Anki" ]
|
||||||
then
|
then
|
||||||
|
|
Loading…
Reference in a new issue