@[email protected] to [email protected] • 10 months agoCtrl+Alt+Tlemmy.worldimagemessage-square244fedilinkarrow-up11.39Karrow-down125
arrow-up11.37Karrow-down1imageCtrl+Alt+Tlemmy.world@[email protected] to [email protected] • 10 months agomessage-square244fedilink
minus-square@[email protected]linkfedilink6•10 months 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_Temporallinkfedilink0•10 months 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]linkfedilink3•10 months 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.