@[email protected] to [email protected] • 2 years agoCtrl+Alt+Tlemmy.worldimagemessage-square229fedilinkarrow-up11.36K
arrow-up11.36KimageCtrl+Alt+Tlemmy.world@[email protected] to [email protected] • 2 years agomessage-square229fedilink
minus-square@[email protected]linkfedilink6•2 years agoSurely you’ve used something roughly equivalent like searching a text, be it web page or other document, for a word or filtering a spreadsheet?
minus-squareTlaloc_Temporallinkfedilink1•2 years agoHow would one use grep for a webpage in a browser? Does the page need to be accessed outside the browser?
minus-square@[email protected]linkfedilink4•2 years agoYou should be able to use curl to get the HTML and then pipe it to grep.
Surely you’ve used something roughly equivalent like searching a text, be it web page or other document, for a word or filtering a spreadsheet?
How would one use grep for a webpage in a browser? Does the page need to be accessed outside the browser?
You should be able to use curl to get the HTML and then pipe it to grep.