Skip to content

Instantly share code, notes, and snippets.

View reinvantveer's full-sized avatar

Rein van 't Veer reinvantveer

View GitHub Profile
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix ns1: <http://www.w3.org/2004/02/skos/core#>.
@prefix ns2: <http://purl.org/dc/terms/>.
@prefix ns3: <http://www.w3.org/ns/shacl#>.
@prefix n69: <https://www.rijksoverheid.nl/documenten/kamerstukken/2011/01/10/>.
@prefix n72: <https://www.kadaster.nl/documents/32706/37743/bag+handreiking+aansluiten/>.
@prefix n73: <https://www.kadaster.nl/documents/20838/87954/BAG+processenhandboek+2013/>.
@reinvantveer
reinvantveer / vm-resize-hard-disk.md
Last active June 28, 2020 14:13 — forked from christopher-hopper/vm-resize-hard-disk.md
Resize a Hard Disk for a Virtual Machine provisioned using Vagrant from a Linux base box to run using VirutalBox.

Resize a Hard Disk for a Virtual Machine

Our Virtual Machines are provisioned using Vagrant from a Linux base box to run using VirutalBox. If the Hard Disk space runs out and you cannot remove files to free-up space, you can resize the Hard Disk using some VirtualBox and Linux commands.

Some assumptions

The following steps assume you've got a set-up like mine, where: