2 tool
=$
(readlink
-e "${0%/*}/..")
3 .
"$tool"/remote
/lib.sh
5 git remote
rm host || true
6 git remote add
host $local_host:src
/$local_hostname
7 git config
--replace remote.
host.push HEAD
:refs
/remotes
/master
8 git remote
rm local || true
9 git remote add
local $local_ipv4:src
/$local_hostname
10 git config
--replace remote.
local.push HEAD
:refs
/remotes
/master
11 git submodule update
--init