[VirtualBox] - Debian 12

Previamente se suponen instalados aptitude y wget para ejecutar el script del apartado siguiente. También se supone que nuestro ordenador está conectado a internet. A su vez deberá estar debidamente actualizado con

# aptitude update
# aptitude upgrade

Ejecutaremos como root el siguiente script

vbox_install_71.sh

# Instalación de VirtualBox
# Añadir repositorios de VirtualBox
echo "" >> /etc/apt/sources.list
echo "# VirtualBox" >> /etc/apt/sources.list
echo "deb [arch=amd64 signed-by=/usr/share/keyrings/oracle-virtualbox-2016.gpg] https://download.virtualbox.org/virtualbox/debian bookworm contrib" >> /etc/apt/sources.list
 
# Descarga y registro de la llave para usar el repositorio de VirtualBox
wget -O- https://www.virtualbox.org/download/oracle_vbox_2016.asc | sudo gpg --dearmor --yes --output /usr/share/keyrings/oracle-virtualbox-2016.gpg
 
# Actualizar los repositorios
aptitude update
 
# Instalar VirtualBox de los repositorios
aptitude install virtualbox-7.1
 
# Agregar el usuario actual al grupo vboxusers
sudo adduser $USER vboxusers
 
# Instalar el paquete de extensión
# Para ver nuestra versión de VBox:
VBOX_VERSION=$(vboxmanage -v | cut -d 'r' -f 1)
# Descargamos el paquete:
wget https://download.virtualbox.org/virtualbox/$VBOX_VERSION/Oracle_VirtualBox_Extension_Pack-$VBOX_VERSION.vbox-extpack
# Incorporamos la extensión descargada al VirtualBox:
vboxmanage extpack install Oracle_VirtualBox_Extension_Pack-$VBOX_VERSION.vbox-extpack
# Eliminamos el fichero de extensión descargado una vez instalado
rm Oracle_VirtualBox_Extension_Pack-$VBOX_VERSION.vbox-extpack

con la orden

# bash vbox_install_71.sh

Finalizada la instalación sin errores, añadir usuarios al grupo vobxusers para que puedan usar VirtualBox, con la orden

# adduser nombre_usuario vboxusers

donde sustituiremos nombre_usuario por el nombre de la cuenta del usuario.

Luego puede ser necesario cerrar sesión y volver a entrar para observar el enlace del VirtualBox en el menú principal del entorno gráfico, pero sobre todo para tener ya derechos de uso del usuario en VirtualBox: De no tenerlos nos puede aparacerer por ejemplo un mensaje de que Virtualbox no tiene acceso a los USB.

Entrar en VirtualBox y comprobar que podemos crear máquinas virtuales de 64 bits. Si ello no fuera posible deberemos habilitar en la BIOS la opción de virtualización para arreglarlo.