function push($imageName, $registry = 'my-registry.com:5000/')
{
    $registry = preg_match("~{$registry}~i", $imageName) ? $imageName : $registry . $imageName;
    return myExec(sprintf('docker push %s', $registry));
}
Example #2
0
function gitPull()
{
    echo myExec("git pull");
    echo myExec("git status");
}