Re: [PATCH v2] vbox: Fix starting domains

2023-01-23 Thread Martin Kletzander
On Mon, Jan 23, 2023 at 02:59:28PM +0100, Michal Privoznik wrote: When starting a VirtualBox domain, we try to guess which frontend to use. While the whole algorithm looks a bit outdated, it may happen that we tell VirtualBox to use "gui" frontend, but not which DISPLAY= to use. I haven't found

[PATCH v2] vbox: Fix starting domains

2023-01-23 Thread Michal Privoznik
When starting a VirtualBox domain, we try to guess which frontend to use. While the whole algorithm looks a bit outdated, it may happen that we tell VirtualBox to use "gui" frontend, but not which DISPLAY= to use. I haven't found any documentation on the algorithm we use, but if I make us