30 Jun
2016
30 Jun
'16
1:37 p.m.
On Thu, Jun 30, 2016 at 01:23:43PM +0100, Laurie Brown wrote:
On 30/06/16 12:16, Jonathan McDowell wrote:
Does "grep -r -I 192.168.100.1 /" not do what you want?
That won't work if there are lots and lots of files to search...
Why not? J. -- "The best thing about Debian is that it's boring." -- Peter Corlett