make retries

This commit is contained in:
Sergey Dolin
2020-10-30 01:01:34 +05:00
parent 82e4ec4a0a
commit 6696fa537a
+12 -7
View File
@@ -1,19 +1,24 @@
#!/bin/sh -x #!/bin/bash
prefix=/usr/local/bin prefix=/usr/local/bin
mkdir -p $prefix
for tool in apt apt-get apt-fast deb;do for tool in apt apt-get apt-fast;do
real_tool=`which $tool` real_tool=`which $tool`
cat >$prefix/$tool <<EOT cat >$prefix/$tool <<EOT
#!/bin/sh #!/bin/sh
i=1
while [ \$i -le 10 ];do
$real_tool "\$@" $real_tool "\$@"
result=\$? result=\$?
if [ \$result -ne 0 ];then if [ \$result -eq 0 ];then
ps axjf break
else
sleep 5
echo "...retry \$i"
i=\$((i + 1))
fi fi
done
EOT EOT
chmod +x $prefix/$tool chmod +x $prefix/$tool
ls -la $prefix/$tool
cat $prefix/$tool
done done