git://git.jankratochvil.net / nethome.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of ssh://vps.jankratochvil.net/var/lib/git/nethome
[nethome.git] / src / gdbstracegrep
1 #! /bin/sh
2 grep '\<'$1'\>\|^read *(.*"Name:.*State:' | grep -vw PTRACE_PEEKTEXT | grep -vw PTRACE_POKEDATA | grep -vw PTRACE_PEEKUSER | grep -v /proc/"$1"/
Unnamed repository; edit this file 'description' to name the repository.