From 4a62096b2fa8c5274a6cb551d43df7c23f085ea3 Mon Sep 17 00:00:00 2001 From: Marcos Marado Date: Wed, 12 Jan 2022 14:12:57 +0000 Subject: [PATCH] inpi: melhoria do script MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Só tentamos apagar o ficheiro quando o conseguimos primeiro descarregar. --- scripts/29-inpi.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/29-inpi.sh b/scripts/29-inpi.sh index 7e27cf7..7e6f570 100755 --- a/scripts/29-inpi.sh +++ b/scripts/29-inpi.sh @@ -7,8 +7,10 @@ if [ ! "$naodisponivel" -eq "0" ]; then echo "inpi: incumprimento pode já não existir (1)"; elif [ ! "$(diff guia_certificado.pdf scripts/29/guia_certificado.pdf|wc -l)" -eq "0" ]; then echo "inpi: incumprimento pode já não existir (2)"; + rm guia_certificado.pdf else echo "inpi: Incumprimento mantém-se, a actualizar o README (faça um git diff, valide, e commit!)"; + rm guia_certificado.pdf while IFS='' read -r line || [[ -n "$line" ]]; do test $(echo "$line"|grep -v inpi|wc -l) -eq "1" \ && echo "$line" \ @@ -16,4 +18,3 @@ else done < README.md > new mv new README.md fi -rm guia_certificado.pdf