30 Jun
2016
30 Jun
'16
12:47 p.m.
On 30 June 2016 at 12:16, Jonathan McDowell noodles@earth.li wrote:
Does "grep -r -I 192.168.100.1 /" not do what you want?
Ah, yes it probably does, now that I see that as an upper-case "i" rather than a lower-case "L"!
Well I thought there should be a better way, and now I just feel a bit daft for not spotting it...
Mark
--
Mark Rogers // More Solutions Ltd (Peterborough Office) // 0844 251 1450
Registered in England (0456 0902) 21 Drakes Mews, Milton Keynes, MK8 0ER