]> piware.de Git - bin.git/commitdiff
vmdebdev: default 10s timeout is too low, bump
authorMartin Pitt <martin@piware.de>
Thu, 26 Jan 2017 07:25:37 +0000 (08:25 +0100)
committerMartin Pitt <martin@piware.de>
Thu, 26 Jan 2017 07:25:37 +0000 (08:25 +0100)
vmdebdev

index 23bbdc703d8e009e8cda538ecbd85e30a5412992..ea81f537c977a40c59146b9e34f65009e41de3ba 100755 (executable)
--- a/vmdebdev
+++ b/vmdebdev
@@ -5,6 +5,7 @@ set timeout -1
 
 set prompt "(%|#|\\$) $"
 set sshkey [read [open ".ssh/id_rsa.pub"]]
+set timeout 60
 
 # Start the guest VM
 set img [lrange $argv 0 0]