在国内拉取 github 上的代码,有时能连上,有时连不上,这就导致拉取源码经常失败。可以手动多试几次,但是这样挺麻烦,不是我等喜欢用代码自动化一切的程序员的风格。于是就写了一个 shell 自定义函数来解决这个问题。代码如下:
loop-do ()
{
$*;
while [[ $? != 0 ]]; do
$*;
done
}
原理就是把要执行的命令放到一个 while 循环里执行,用命令的执行结果作为 while 循环的终止条件,当检测到命令执行成功时就终止循环,否则继续尝试。
其中的 $* 变量代表 loop-do 函数的所有参数,也就是我们要执行的命令。条件判断中的 $? 变量代表最近执行的命令的执行结果,如果是 0 ,表示执行成功,否则,就表明命令执行失败。
把这个函数定义放到 .bashrc 或 .zshrc 文件中,然后执行
. .bashrc
或
. .zshrc
让命令生效
这样就可以在终端中使用了。使用示例:
$ loop-do git pull
这个命令不仅能执行 git pull ,其他任何需要多次重试到命令都可以。这样就不用再傻傻的一遍一遍的手动执行了。
shell 自定义函数非常有用,能实现很多自动化操作,希望这个例子能对大家有所帮助。
欢迎关注微信公众号:文本魔术,了解更多。
1
julyclyde 2023-11-18 13:12:53 +08:00
不治本
甚至可能都不治标 你咋不写一个“先尝试直连,不行的话再套个代理试试” 都比直接循环重试靠谱多了 |
2
pC0oc4EbCSsJUy4W 2023-11-19 00:16:32 +08:00
不如直接 先 ping 一次 github
如果 ping 不通 使用 公共代理地址拉取,先检查网络访问情况 github 加速 raw 加速 自定义 可加入自己的代理节 |
3
cmdyu OP 这算是一个在不使用代理的情况下的简易解决方案
适用于连接不稳定的情况 有代理的话就不用重试了 |