| 1 |
| 2 |
@type trace |
| 3 |
|
| 4 |
| 5 |
| 6 |
| 7 |
|
| 8 |
| 9 |
|
| 10 |
mkdir "/dir1" 0o777 |
| 11 |
Tau |
| 12 |
RV_none |
| 13 |
stat "/dir1" |
| 14 |
Tau |
| 15 |
RV_stat {
| st_dev | = | 1792; |
| st_ino | = |
32652; |
| st_kind | = |
S_IFDIR; |
| st_perm | = |
0o755; |
| st_nlink | = | 2; |
| st_uid | = |
0; |
| st_gid | = |
0; |
| st_rdev | = | 0; |
| st_size | = |
4096; |
} |
| 16 |
mkdir "/dir1/subdir1" 0o777 |
| 17 |
Tau |
| 18 |
RV_none |
| 19 |
stat "/dir1" |
| 20 |
Tau |
| 21 |
RV_stat {
| st_dev | = | 1792; |
| st_ino | = |
32652; |
| st_kind | = |
S_IFDIR; |
| st_perm | = |
0o755; |
| st_nlink | = | 3; |
| st_uid | = |
0; |
| st_gid | = |
0; |
| st_rdev | = | 0; |
| st_size | = |
4096; |
} |
| 22 |
stat "/dir1/subdir1" |
| 23 |
Tau |
| 24 |
RV_stat {
| st_dev | = | 1792; |
| st_ino | = |
65281; |
| st_kind | = |
S_IFDIR; |
| st_perm | = |
0o755; |
| st_nlink | = | 2; |
| st_uid | = |
0; |
| st_gid | = |
0; |
| st_rdev | = | 0; |
| st_size | = |
4096; |
} |
| 25 |
|
| 26 |
rmdir "/dir1/subdir1" |
| 27 |
Tau |
| 28 |
RV_none |
| 29 |
stat "/dir1" |
| 30 |
Tau |
| 31 |
RV_stat {
| st_dev | = | 1792; |
| st_ino | = |
32652; |
| st_kind | = |
S_IFDIR; |
| st_perm | = |
0o755; |
| st_nlink | = | 2; |
| st_uid | = |
0; |
| st_gid | = |
0; |
| st_rdev | = | 0; |
| st_size | = |
4096; |
} |
| 32 |
|
| 33 |
|
| 34 |
|