On Mon, Jan 02, 2023 at 03:46:56PM +0000, Gavin Smith wrote: > I'm yet to work out how to get logs out of the virtual machine
I found it easy to get Internet access on the virtual machine (I downloaded Texinfo 7.0.1 from ftp.gnu.org using curl), but somehow harder to get access to local files. The solution appears to be to install something called the Guest Additions. However, the instructions that come with VirtualBox are not what you should follow for OpenIndiana, which involves downloading and mounting an optical disk image, which doesn't work. Instead, what you need to do is to install the package from the OpenIndiana package manager: # pkg install virtualbox-additions Then shared folders configured through the VirtualBox GUI are accessible under /media.