DESCRIPTION:
ce script regroupe des règles pour administrer la VM ($vm_fqdn)
_depuis_ une machine distante ;
- il sert à la fois d'outil et de documentation.
+ il sert à la fois d'outil (aisément bidouillable)
+ et de documentation (préçise).
Voir \`$tool/vm_host' pour les règles côté machine hôte ($vm_host).
Voir \`$tool/vm_hosted' pour les règles côté VM hébergée ($vm_fqdn).
SYNTAX: $0 \$RULE \${RULE}_SYNTAX
cd "$tool"
git remote rm host || true
git remote add host $vm_host:tool/vm
- git config --replace remote.host.push HEAD:refs/heads/origin
+ git config --replace remote.host.push HEAD:refs/remotes/master
git remote rm hosted || true
git remote add hosted root@$vm_fqdn:tool/vm
- git config --replace remote.hosted.push HEAD:refs/heads/origin
+ git config --replace remote.hosted.push HEAD:refs/remotes/master
)
}
rule_git_push () { # SYNTAX: {host|hosted} $git_push_options