I installed LaMachine on Windows 10, with some bumps along the way, but it runs. I can e.g. use Frog as a webservice. Now I want to add Tscan, which is what I really want to use.

I do this:
lamachine-add tscan
lamachine-update

then after many other messages:

Cannot write to ‘latest.tar.gz’ (No space left on device).
MSG:
non-zero return code
PLAY RECAP ***********************************************************************************************************************************************************
stable : ok=857 changed=285 unreachable=0 failed=1 skipped=813 rescued=0 ignored=1

The disk is indeed full:

vagrant@stable:/usr/local/src/LaMachine$ df -h
Filesystem Size Used Avail Use% Mounted on
udev 992M 0 992M 0% /dev
tmpfs 201M 6.8M 194M 4% /run
/dev/sda1 8.7G 8.3G 1.5M 100% /
tmpfs 1003M 0 1003M 0% /dev/shm
tmpfs 5.0M 0 5.0M 0% /run/lock
tmpfs 1003M 0 1003M 0% /sys/fs/cgroup
tmpfs 201M 0 201M 0% /run/user/1000

I have tried to increase the disk size by running
vagrant plugin install vagrant-disksize
and adding
config.disksize.size = '50GB'
in the vagrant file

This has however no effect on the disk size.

I suppose this is a beginner's question, but how should I go about increasing the available space?

P.S.
I should have attached the update's logfile to this issue, but I'm afraid I don't know how to get that out of the virtual machine. I tried
scp vagrant@127.0.0.1:2222:/usr/local/src/LaMachine/lamachine-stable-20190619_153529.log d:/even
The answer I got was
ssh: connect to host 127.0.0.1 port 22: Connection refused