Re: w3m -> curl

Bonjour,
On Wed, Jul 28, 2021 at 03:07:22PM +0200, Frédéric wrote:
>
> En fait, je veux récupérer l'IP. La commande départ est :
>
> $ w3m -dump http://www.monip.org/ | awk -F': ' '/IP/ { print $2 }'
>
> Il faut que j'arrive à faire pareil sans w3m ni html2text... Je crois que
> je vais faire un script python, du coup ;o)

ou: curl https://www.myexternalip.com/raw ?

Bon après-midi,
--
piti