bizarre cette histoire de portail ,essayes encore ce script : changes les xxxx...
#!/bin/sh
LOGIN="xxxx"
PASSWORD="xxxxxxx"
priv=`wget -O - "https://xxxxxxxx/" 2>/dev/null|grep 'input name="priv"'|awk -F'"' '{print $8}'`
wget -O - --post-data="login=$LOGIN&password=$PASSWORD&priv=$priv" "http://google.fr/" 2>/dev/null|grep "CONNEXION AU SERVICE REUSSIE" 1>/dev/null 2>&1 && echo "OK" && exit 0
echo "KO"
exit