1048 |
@end example |
@end example |
1049 |
@end defun |
@end defun |
1050 |
|
|
1051 |
@defun file-attributes filename |
@defun file-attributes filename &optional id-format |
1052 |
This function returns a list of attributes of file @var{filename}. If |
This function returns a list of attributes of file @var{filename}. If |
1053 |
the specified file cannot be opened, it returns @code{nil}. |
the specified file cannot be opened, it returns @code{nil}. |
1054 |
|
The optional parameter @var{id-format} specifies the preferred format |
1055 |
|
of attributes @acronym{UID} and @acronym{GID} (see below)---the |
1056 |
|
valid values are @code{'string} and @code{'integer}. The latter is |
1057 |
|
the default, but we plan to change that, so you should specify a |
1058 |
|
non-@code{nil} value for @var{id-format} if you use the returned |
1059 |
|
@acronym{UID} or @acronym{GID}. |
1060 |
|
|
1061 |
The elements of the list, in order, are: |
The elements of the list, in order, are: |
1062 |
|
|
1072 |
(@pxref{Changing Files}). |
(@pxref{Changing Files}). |
1073 |
|
|
1074 |
@item |
@item |
1075 |
The file's @acronym{UID}. |
The file's @acronym{UID} as a string or an integer. If a string |
1076 |
|
value cannot be looked up, the integer value is returned. |
1077 |
|
|
1078 |
@item |
@item |
1079 |
The file's @acronym{GID}. |
The file's @acronym{GID} likewise. |
1080 |
|
|
1081 |
@item |
@item |
1082 |
The time of last access, as a list of two integers. |
The time of last access, as a list of two integers. |
1121 |
|
|
1122 |
@example |
@example |
1123 |
@group |
@group |
1124 |
(file-attributes "files.texi") |
(file-attributes "files.texi" 'string) |
1125 |
@result{} (nil 1 2235 75 |
@result{} (nil 1 "lh" "users" |
1126 |
(8489 20284) |
(8489 20284) |
1127 |
(8489 20284) |
(8489 20284) |
1128 |
(8489 20285) |
(8489 20285) |
1142 |
has only one name (the name @file{files.texi} in the current default |
has only one name (the name @file{files.texi} in the current default |
1143 |
directory). |
directory). |
1144 |
|
|
1145 |
@item 2235 |
@item "lh" |
1146 |
is owned by the user with @acronym{UID} 2235. |
is owned by the user with name "lh". |
1147 |
|
|
1148 |
@item 75 |
@item "users" |
1149 |
is in the group with @acronym{GID} 75. |
is in the group with name "users". |
1150 |
|
|
1151 |
@item (8489 20284) |
@item (8489 20284) |
1152 |
was last accessed on Aug 19 00:09. |
was last accessed on Aug 19 00:09. |