github.com/dahs81/otto@v0.2.1-0.20160126165905-6400716cf085/builtin/scriptpack/stdlib/data/vagrant.sh (about)

     1  # vagrant_config_fast_ssh configures SSH to be faster.
     2  vagrant_config_fast_ssh() {
     3    if ! grep "UseDNS no" /etc/ssh/sshd_config >/dev/null; then
     4      echo "UseDNS no" | sudo tee -a /etc/ssh/sshd_config >/dev/null
     5      oe sudo service ssh restart
     6    fi
     7  }
     8  
     9  # vagrant_default_cd sets the default cd directory for the given user
    10  vagrant_default_cd() {
    11    local user=$1
    12    local dir=$2
    13    echo "cd ${dir}" >> /home/${user}/.bashrc
    14  }