Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 16/12/2024, à 01:56

iro

[BASH] redirection vers whois (résolu)

Bonjour,

le script si-dessous fonctionne mais le whois ne prend pas en compte le résultat de la commande fping

#!/usr/bin/sh

  echo
  read -p "Première Partie du Site à Indiquer (ex -> facebook) : " site
  echo

cat ./PERSO.txt | parallel "fping -aq -t 300 $site{} 2>/dev/null | \
whois $site{} 2>/dev/null && printf '\033[3;32;3m%s\033[0m\n\n' "${site}{}""

Je souhaite garder la commande parallel.

Avez-vous une idée de comment whois peut tenir compte de la commande fping ?

Dernière modification par iro (Le 16/12/2024, à 16:50)


Aime la vie et vis la vie que tu aimes.
Boinc pour aider la science.

Hors ligne

#2 Le 16/12/2024, à 07:25

Watael

Re : [BASH] redirection vers whois (résolu)

parallel -a PERSO.txt "fping... | whois - 2>/dev/null..."

le tiret représente l'entrée standard.

par exemple, avec cat :

$ echo foo | cat - fichier
foo
contenu fichier...
$

Dernière modification par Watael (Le 16/12/2024, à 07:27)


Connected \o/
Welcome to sHell. · eval is evil.

Hors ligne

#3 Le 16/12/2024, à 16:50

iro

Re : [BASH] redirection vers whois (résolu)

Bonjour,

j'ai trouvé la solution en remplaçant simplement le pipe par &&.
Je n'ai pas testé ta solution mais elle devrait aussi fonctionner.

Merci.


Aime la vie et vis la vie que tu aimes.
Boinc pour aider la science.

Hors ligne