1 |
maillog: 17/10/2004-00:44:09(+0000): Jeff Davidson types |
2 |
> > The modtime of a directory changes only if a file is created/deleted in |
3 |
> > the directory itself. However, if you simply edit a file you may not |
4 |
> > change the modtime of the directory. Try it yourself: |
5 |
> > |
6 |
> What about a hash of the directory? I haven't investigated the situation much, |
7 |
> but I'd have to imagine that a CRC32, md5, or SHA1 (overkill) would be able to |
8 |
> detect a file change and still be faster than always running modules-update. |
9 |
|
10 |
Isn't this simpler and just as effective? |
11 |
|
12 |
find /etc/modules.d/ -newer /etc/modules.conf | grep -q . && modules-update |
13 |
|
14 |
-- |
15 |
\/ Georgi Georgiev \/ Linux - Where do you want to fly today? -- \/ |
16 |
/\ chutz@×××.net /\ Unknown source /\ |
17 |
\/ +81(90)6266-1163 \/ \/ |
18 |
|
19 |
-- |
20 |
gentoo-dev@g.o mailing list |