1 |
maillog: 13/10/2004-23:34:35(+0200): Marc Vila types |
2 |
> I would go with the update-modules tweak, it's really a boost and I |
3 |
> would say its pretty safe to assume the changes in the script. |
4 |
|
5 |
The modtime of a directory changes only if a file is created/deleted in |
6 |
the directory itself. However, if you simply edit a file you may not |
7 |
change the modtime of the directory. Try it yourself: |
8 |
|
9 |
# touch /etc/env.d/.test |
10 |
# stat /etc/env.d/.test | grep ^Mod |
11 |
Modify: 2004-10-14 18:37:51.622977903 +0900 |
12 |
# echo "TEST TEST" > /etc/env.d/.test |
13 |
Modify: 2004-10-14 18:37:51.622977903 +0900 |
14 |
# stat /etc/env.d/.test | grep ^Mod |
15 |
|
16 |
Same goes for the modules. |
17 |
|
18 |
-- |
19 |
-* Georgi Georgiev -* Total strangers need love, too; and I'm -* |
20 |
*- chutz@×××.net *- stranger than most. *- |
21 |
-* +81(90)6266-1163 -* -* |
22 |
|
23 |
-- |
24 |
gentoo-dev@g.o mailing list |