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