我的系统
- MacBook Air
- macOS 10.12.4
- VirtualBox 版本 5.1.30
- vagrant 安装版本：2.0.0
- Joomla/box 版本‘1.5.0’
问题
Vagrant 无法挂载 VirtualBox 共享文件夹。这通常是因为文件系统“vboxsf”不可用。此文件系统可通过 VirtualBox Guest Additions 和内核模块使用。
请验证这些客户机添加项是否已正确安装在客户机中。这不是 Vagrant 中的错误，通常是由 Vagrant 框故障引起的。对于上下文，尝试的命令是：
mount -t vboxsf -o uid=1000,gid=1000 vagrant /vagrant
该命令的错误输出为：
/sbin/mount.vboxsf: mounting failed with the error: No such device
那么回到‘手动安装 Guest 添加功能？’
vboxadd.sh: Starting the VirtualBox Guest Additions.
Failed to set up service vboxadd, please check the log file
/var/log/VBoxGuestAdditions.log for details.
[/media/cdrom] $ more /var/log/vboxadd-install.log
/tmp/vbox.0/Makefile.include.header:112: *** Error: unable to find the sources of your current Linux kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
ls -l /lib/modules/4.2.0-27-generic/ gave me build -> /usr/src/linux-headers-4.2.0-27-generic
因此，此处的构建是一个损坏的符号链接，但 linux-headers 在哪里？当我尝试更新 headers 时，获取的消息已经是最新的
2 November 2017. Upgraded Vbox to 5.1.30 r118389 (Qt5.6.3)
安装过程中出现错误mount -t vboxsf -o uid=1000,gid=1000 vagrant /vagrant
mount: unknown filesystem type 'vboxsf'
/tmp/vbox.0/Makefile.include.header:112: *** Error: unable to find the sources of your current Linux
kernel. Specify KERN_DIR=<directory> and run Make again. Stop.
现在 /opt 包含 VBoxGuestAdditions-5.1.30/ 因此安装。/mnt 已经包含 VBoxLinuxAdditions.run
尝试过 apt-get install build-essential module-assistant 。已经是最新的了
9 November new version of Joomla/box '1.4.4'. The latest is version '1.5.0'. Run `vagrant box update`
此系统似乎已安装 VirtualBox Guest Additions 的一个版本。如果它是操作系统的一部分并且保持最新，则很可能无需替换它。如果它不是最新的，您应该在启动系统时收到通知。如果您希望用此版本替换它，请不要继续此安装，而是先按照操作系统的说明删除当前版本。
/usr/src now contains (as well as same joomla stuff)
lrwxrwxrwx 1 root root 51 Nov 9 17:11 vboxguest-5.1.30 -> /opt/VBoxGuestAdditions-5.1.30/src/vboxguest-5.1.30/
drwxr-xr-x 12 root root 4096 Nov 9 17:44 virtualbox-4.3.36/ [but that’s not new version]
make sure that /lib/modules/$(uname -r)/build points to /usr/src/kernels/$(uname -r)
但这并不存在
/lib/modules/4.2.0-27-generic/ contains
lrwxrwxrwx 1 root root 39 Jan 22 2016 build -> /usr/src/linux-headers-4.2.0-27-generic
drwxr-xr-x 2 root root 4096 Jan 22 2016 initrd/
drwxr-xr-x 12 root root 4096 Apr 8 2016 kernel/
-rw-r--r-- 1 root root 1019813 Nov 10 11:08 modules.alias . . .
问题https://askubuntu.com/questions/889205/cant-solve-problem-with-virtual-box
因为有新的内核版本可用，所以内核头文件已从存储库中删除。因此，他/她必须在安装头文件之前更新整个系统。OP 回复道“但是 sudo apt-get dist-upgrade 说没有什么可升级的，与升级相同。”
sudo apt-get dist-upgrade
我遇到了几个错误。
呃http://ppa.launchpad.net/ondrej/php5-5.6/ubuntu/trusty/main libedit2 amd64 3.1-20140620-2+deb.sury.org~trusty+5 403 禁止，但这是 http 访问错误。许多文件已安装/更新
问题依然存在。如果不在 /usr/src 中，内核源代码在哪里？