Development notes

Thoughts, notes and ideas about development

Ubuntu: How to fix Virtual Box Vboxdrv Error

2020-04-09 Alexey Bogdanov

While running sudo /sbin/vboxconfig the following error may occur:

vboxdrv.sh: Stopping VirtualBox services.
vboxdrv.sh: Starting VirtualBox services.
vboxdrv.sh: Building VirtualBox kernel modules.
vboxdrv.sh: failed: Look at /var/log/vbox-setup.log to find out what went wrong.

There were problems setting up VirtualBox.  To re-start the set-up process, run
  /sbin/vboxconfig
as root.  If your system is using EFI Secure Boot you may need to sign the
kernel modules (vboxdrv, vboxnetflt, vboxnetadp, vboxpci) before you can load
 them. Please see your Linux system's documentation for more information.

To fix it, run the following command:

Continue reading

Tuxguitar No Sound

2019-06-21
In case if there is no sound in TuxGuitar in linux, do the following 1 Install package tuxguitar-jsa sudo apt install tuxguitar-jsa 2 Update MIDI port into TuxGuitar settings Go to Tools -> Settings. A new window with TexGuitar configs will be opened. Find Sound section and change MIDI port to Gervill: Close Settings window and verify everything works fine.

Linux: how to make Bluetooth working

This post describes step by step solution of how to make Bluetooth working on Lenovo V580c in linux distributions: Ubuntu 17.10 and Manjero 2017. My Lenovo laptop uses BCM43142 chipset. Find bluetoth chipset and device ID First of all we need to make sure that we have appropriate Chipset. Open terminal and enter the following command: lsusb | grep Bluetooth The output will look like: Bus 001 Device 004: ID 105b:e065 Foxconn International, Inc. Continue reading