dev/Vagrantfile
changeset 491 e9e436a588b2
parent 487 514dc9b6f875
child 529 5d9eacbd5794
equal deleted inserted replaced
490:76da86cf9696 491:e9e436a588b2
    59   # config.vm.synced_folder "../data", "/vagrant_data"
    59   # config.vm.synced_folder "../data", "/vagrant_data"
    60   # config.vm.synced_folder "../server/src", "/var/www/corpus", id: "code-root",
    60   # config.vm.synced_folder "../server/src", "/var/www/corpus", id: "code-root",
    61   #   owner: "vagrant",
    61   #   owner: "vagrant",
    62   #   group: 498,
    62   #   group: 498,
    63   #   mount_options: ["dmode=775,fmode=664"]
    63   #   mount_options: ["dmode=775,fmode=664"]
       
    64   config.vm.synced_folder ".", "/vagrant", type: "virtualbox"
    64 
    65 
    65 
    66 
    66   # Provider-specific configuration so you can fine-tune various
    67   # Provider-specific configuration so you can fine-tune various
    67   # backing providers for Vagrant. These expose provider-specific options.
    68   # backing providers for Vagrant. These expose provider-specific options.
    68   # Example for VirtualBox:
    69   # Example for VirtualBox: