From 1b4ed7bea6a9f085c4245f5259aa6bf7381ebd27 Mon Sep 17 00:00:00 2001 From: Marcos Marado Date: Sun, 20 May 2018 00:19:47 +0100 Subject: [PATCH] cada script deve identificar-se --- scripts/01-parlamento.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/01-parlamento.sh b/scripts/01-parlamento.sh index 925b6d5..fc2ba78 100755 --- a/scripts/01-parlamento.sh +++ b/scripts/01-parlamento.sh @@ -22,10 +22,10 @@ test $(wget http://www.canal.parlamento.pt/ -o /dev/null -O -|grep embedplayer.m ## resultados: if [ ! "$a" -eq "0" ]; then - echo "Incumprimento 'a' (videos em wmv) pode estar resolvido."; + echo "parlamento: Incumprimento 'a' (videos em wmv) pode estar resolvido."; fi if [ ! "$b" -eq "0" ]; then - echo "Incumprimento 'b' (flash no canal paralamento) pode estar resolvido ($b)."; + echo "parlamento: Incumprimento 'b' (flash no canal paralamento) pode estar resolvido ($b)."; fi if [ $((a + b)) -eq "0" ]; then echo "parlamento: incumprimento mantém-se, a actualizar README (faça um git diff, valide, e commit!)";