github.com/dahs81/otto@v0.2.1-0.20160126165905-6400716cf085/builtin/app/node/data/common/dev/Vagrantfile.tpl (about)

     1  {% extends "compile:data/app/dev/Vagrantfile.tpl" %}
     2  
     3  {% block vagrant_config %}
     4    config.vm.provision "shell", inline: $script_app
     5  {% endblock %}
     6  
     7  {% block footer %}
     8  $script_app = <<SCRIPT
     9  set -e
    10  
    11  # Make it so that `vagrant ssh` goes directly to the correct dir
    12  echo "cd /vagrant" >> /home/vagrant/.profile
    13  
    14  # Configuring SSH for faster login
    15  if ! grep "UseDNS no" /etc/ssh/sshd_config >/dev/null; then
    16    echo "UseDNS no" | sudo tee -a /etc/ssh/sshd_config >/dev/null
    17    oe sudo service ssh restart
    18  fi
    19  
    20  SCRIPT
    21  {% endblock %}