From 6d26939d9dae72051ef58fb5f39a5b1f20b90b66 Mon Sep 17 00:00:00 2001 From: mark Date: Thu, 26 Jan 2006 06:53:30 +0000 Subject: [PATCH] *** empty log message *** --- README | 23 +++++++++++++++++------ 1 file changed, 17 insertions(+), 6 deletions(-) diff --git a/README b/README index 80ac315..a24d92f 100755 --- a/README +++ b/README @@ -1,15 +1,26 @@ --- environment +-- Environment os.environ os.setenv(name, value, overwrite) os.unsetenv(name) --- miscellaneous +-- Miscellaneous os.sleep(seconds) --- file system -os.dir -file = os.file +-- File system +os.chdir(pathname) +cwd = os.currentdir() +os.mkdir(pathname) --- process control +for stat in os.dir(pathname) do ; end +stat = os.stat(pathname) +-- stat.name is the filename +-- stat.type is one of "file" or "directory" or another implementation-defined string +-- stat.size is the file size in bytes + +file = io.open("filename", "w") +file:lock(mode, start, len) -- mode is "r" or "w"; start and len are optional +file:unlock(start, len) -- start and len are optional + +-- Process control pid = os.spawn(filename, {args={}, env={}, stdin=io_file, stdout=io_file, stderr=io_file}) exitcode = os.wait(pid)