|
⇤ ← Revision 1 as of 2006-03-05 10:32:29
Size: 154
Comment:
|
Size: 589
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| ... | Invaluable resource for browsing the Linux sources: Visit [http://lxr.linux.no/]. (I can't seem to get text searching to work, but see below for a tip for that.) Quickly list all source files mentioning a particular identifier: {{{find /usr/src/linux/ -name '*.[chS]' -exec grep -q }}}''identifier''{{{ '{}' ';' -print}}} Then it's easy enough to pull up the appropriate source file as {{{http://lxr.linux.no/source/}}}''path''. |
Lawrence D'Oliveiro
Email: MailTo(ldo AT SPAMFREE geek-central DOT gen DOT nz)
Invaluable resource for browsing the Linux sources: Visit [http://lxr.linux.no/]. (I can't seem to get text searching to work, but see below for a tip for that.)
Quickly list all source files mentioning a particular identifier:
find /usr/src/linux/ -name '*.[chS]' -exec grep -q identifier '{}' ';' -print
Then it's easy enough to pull up the appropriate source file as http://lxr.linux.no/source/path.