Mass renaming files that have patern sql_^d^_migration.sql

I have the following list of files: sql_1_migration.sql sql_2_migration.sql sql_3_migration.sql … sql_100_migration.sql sql_1000_migration.sql … And I need to rename it into: sql_0001_migration.sql sql_0002_migration.sql sql_0003_migration.sql … sql_0100_migration.sql sql_1000_migration.sql … Do you know how I can do that in bash? As you can see I want to prepend 0 to the files that have non-4-digit numbers. I…

Details

modprobe: ERROR: could not insert ‘vboxdrv’: Package not installed

I can’t run any virtual machine. I get this error: WARNING: The character device /dev/vboxdrv does not exist. Please install the virtualbox-dkms package and the appropriate headers, most likely linux-headers-generic. You will not be able to start VMs until this problem is fixed. VBoxManage: error: The virtual machine ‘Ubuntu 14.04’ has terminated unexpectedly during startup…

Details