libdevuansdk

commit 63163a07724ed5b816534f2e6dc0b01f59f2080d
parent 3eee81ee507abc096ffc19b9c75da29113ad21a9
Author: parazyd <parazyd@dyne.org>
Date:   Thu, 28 Feb 2019 00:39:56 +0100

Use a random number when naming the prevagrant image.

Diffstat:
M
zlibs/vm
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/zlibs/vm b/zlibs/vm
@@ -112,7 +112,7 @@ vm_vbox_setup() {
 		base.vdi || zerr
 	VBoxManage modifyhd base.vdi --type immutable --compact || zerr
 
-	vmname="${os}-${release}-prevagrant"
+	vmname="${os}-${release}-prevagrant-${RANDOM}"
 	notice "importing base.vdi to a VBox"
 	act "creating vm"
 	VBoxManage createvm --name "$vmname" --ostype Debian_64 --register || zerr