In Git you can add a submodule to a repository. This is basically a repository embedded in your main repository. This can be very useful. A couple of usecases of submodules:
- Separate big codebases into multiple repositories.
#! /usr/bin/env bash | |
### | |
# | |
# install_mysql.sh | |
# | |
# This script assumes your Vagrantfile has been configured to map the root of | |
# your application to /vagrant and that your web root is the "public" folder | |
# (Laravel standard). Standard and error output is sent to | |
# /vagrant/vm_build.log during provisioning. |
# set a proxy | |
set HTTP_PROXY= | |
set HTTPS_PROXY=%HTTP_PROXY% | |
npm config set proxy %HTTP_PROXY% | |
npm config set https.proxy %HTTPS_PROXY% | |
npm config set https-proxy %HTTPS_PROXY% | |
git config --global http.proxy %HTTP_PROXY% | |
git config --global https.proxy %HTTPS_PROXY% | |
# unset proxy |