&1";
exec($cmd, $output, $return_code);
$show_title = "Git Pull - " . $OJ_NAME;
require("template/".$OJ_TEMPLATE."/header.php");
?>
若提示 sudo 权限不足,请在服务器上执行以下命令(仅需一次):
echo "www-data ALL=(ALL) NOPASSWD: /usr/bin/git" | sudo tee /etc/sudoers.d/www-data-git
sudo chmod 440 /etc/sudoers.d/www-data-git