Troubleshooting Resizing your devbox

From Koha Wiki

Jump to: navigation, search
Home > Documentation
Home > Documentation
Koha > Technical
Tips & Tricks > Tips & Tricks/Customising Notices and Slips > Tips & Tricks > Troubleshooting

Sometimes when cloning or rebasing files the operation fails due to lack of disk space in your devbox to write files in.

The following guide will explain how to increase the disk space, allowing you to continue working.

Find out how much space exists now

write in the command:

df -l

Increase the size of the virtual disk file

1. Shut down the virtual machine you are working in, 

vagrant halt

2. In VirtualBox right click on your VM and go to Settings->Storage.

Look what type of virtual disk file you are using, it is likely to be a vmdk file or a vdi file. If if is a vdi file ignore steps 3 and 5.

3. Because we cannot directly resize a vmdk file we must convert it to a vdi file first, to do this write in:

VBoxManage clonehd "vmdkfilename.vmdk" "vdifilename.vdi" --format vdi

Note: The filename needs to include the file path if you are not already in the vm directory inside VirtualBox VMs

e.g. VBoxManage clonehd "VirtualBox VMs/kohadevbox_jessie_1480447304841_9124/Box-disk1.vmdk" "VirtualBox VMs/kohadevbox_jessie_1480447304841_9124/resize.vdi" --format vdi

4. Now set the size you want the file to be (in GB):

VBoxManage modifyhd "vdifilename.vdi" --resize xxxxx

e.g. of setting the size to 19Gb

VBoxManage modifyhd "VirtualBox VMs/kohadevbox_jessie_1480447304841_9124/resize.vdi" --resize 19000

5. Now convert back to vmdk file format

VBoxManage clonehd "VirtualBox VMs/kohadevbox_jessie_1480447304841_9124/resize.vdi" "VirtualBox VMs/kohadevbox_jessie_1480447304841_9124/newbox1.vmdk" --format vmdk

NOTE: For this clone operation to work we will be creating a new vmdk file and so make sure you write a different name for the vdmk file.

6. In VirtualBox, select the controller your VM uses, select 'Adds hard disk'->'Choose existing disk'->appropriate vdi OR vmdk file you created/cloned

7. Remove the old vdi or vmdk file

8. Download GParted from

9. In VirtualBox select "Adds optical drive"->"Choose existing disk"->GParted iso file

10. Start your vm

vagrant up

11. In Virtualbox select the 'Show' button

12. Follow the steps in this link which graphically shows how you can increase the size of the dev/sda1 directory using GParted

13. Remove the Gparted optical drive you added in VirtualBox before powering up vagrant

Personal tools