| Index: vagrant-mount-disk.sh |
| diff --git a/vagrant-mount-disk.sh b/vagrant-mount-disk.sh |
| new file mode 100755 |
| index 0000000000000000000000000000000000000000..379a3cbdd901a52a954b82528fc8d9dbe4dbea25 |
| --- /dev/null |
| +++ b/vagrant-mount-disk.sh |
| @@ -0,0 +1,30 @@ |
| +#!/bin/sh |
| + |
| +set -e |
| +set -x |
| + |
| +if [ -f /home/vagrant/disk_added_date ] |
| +then |
| + echo "Disk already added, exiting" |
| + exit 0 |
| +fi |
| + |
| +# create partition |
| +sudo fdisk -u /dev/sdb <<EOF |
| +n |
| +p |
| +1 |
| + |
| + |
| +w |
| +EOF |
| + |
| +# format and mount |
| +sudo mkfs.ext4 /dev/sdb1 |
| +mkdir -p /home/vagrant/build |
| +sudo mount -t ext4 -o rw /dev/sdb1 /home/vagrant/build |
| +sudo chown vagrant:vagrant /home/vagrant/build |
| +sudo echo "/dev/sdb1 /home/vagrant/build ext4 defaults 0 0" >> /etc/fstab |
| + |
| +date > /home/vagrant/disk_added_date |
| +sudo chown vagrant:vagrant /home/vagrant/disk_added_date |