Dans les options de w3m, je vois qu'il y a du choix en terme de dump :
-dump dump formatted page into stdout
-dump_head dump response of HEAD request into stdout
-dump_source dump page source into stdout
-dump_both dump HEAD and source into stdout
-dump_extra dump HEAD, source, and extra information into stdout
[^] # Re: Quelques autres brothers...
Posté par vmagnin (site web personnel, Mastodon) . En réponse au journal Naviguer sans tête dans un coquillage !. Évalué à 1.
Dans les options de w3m, je vois qu'il y a du choix en terme de dump :
-dump dump formatted page into stdout
-dump_head dump response of HEAD request into stdout
-dump_source dump page source into stdout
-dump_both dump HEAD and source into stdout
-dump_extra dump HEAD, source, and extra information into stdout