| ----------------------------------------------------------------------------- |
| -- Little program to adjust end of line markers. |
| -- LuaSocket sample files |
| -- Author: Diego Nehab |
| -- RCS ID: $Id: eol.lua,v 1.8 2005/11/22 08:33:29 diego Exp $ |
| ----------------------------------------------------------------------------- |
| local mime = require("mime") |
| local ltn12 = require("ltn12") |
| local marker = '\n' |
| if arg and arg[1] == '-d' then marker = '\r\n' end |
| local filter = mime.normalize(marker) |
| local source = ltn12.source.chain(ltn12.source.file(io.stdin), filter) |
| local sink = ltn12.sink.file(io.stdout) |
| ltn12.pump.all(source, sink) |