From 3a0a08e6369fddd9d707d026f1f8a4dd595b295d Mon Sep 17 00:00:00 2001
From: Jennica Guan <jingg.cxy@foxmail.com>
Date: Thu, 30 Mar 2017 17:11:58 +0800
Subject: [PATCH] FIx error `stdin: is not a tty`

`vagrant up --provision` may lead to an error `stdin: is not a tty`, and configure shell in `Vagrantfile` can solve it.
---
 Vagrantfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Vagrantfile b/Vagrantfile
index 3d1900e7..72e98a2c 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -9,5 +9,6 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   config.vm.provision :shell, path: "pg_config.sh"
   config.vm.box = "ubuntu/trusty32"
   config.vm.network "forwarded_port", guest: 5000, host: 5000
+  vagrant up --provision
   
 end