diff options
Diffstat (limited to 'static/v10/man1/file.1')
| -rw-r--r-- | static/v10/man1/file.1 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/static/v10/man1/file.1 b/static/v10/man1/file.1 new file mode 100644 index 00000000..7e2aaa2a --- /dev/null +++ b/static/v10/man1/file.1 @@ -0,0 +1,18 @@ +.th FILE I 11/1/73 +.sh NAME +file \*- determine format of file +.sh SYNOPSIS +.bd file +files +.sh DESCRIPTION +.it File +will examine each of its arguments +and give a guess as to the contents of the file. +It is the only program that will give +device numbers of special files. +.sh BUGS +If the file is not instantly recognized, +its type is given as `unknown'. +There should be some heuristic to +recognize source file `signatures' +in each of the standard languages. |