2004-06-17 08:23:13 +02:00
|
|
|
-----------------------------------------------------------------------------
|
2005-11-22 09:33:29 +01:00
|
|
|
-- Little program to adjust end of line markers.
|
2004-06-17 08:23:13 +02:00
|
|
|
-- LuaSocket sample files
|
|
|
|
-- Author: Diego Nehab
|
2012-04-11 22:21:25 +02:00
|
|
|
-- RCS ID: $Id: eol.lua,v 1.8 2005/11/22 08:33:29 diego Exp $
|
2004-06-17 08:23:13 +02:00
|
|
|
-----------------------------------------------------------------------------
|
2004-06-04 17:15:45 +02:00
|
|
|
local mime = require("mime")
|
|
|
|
local ltn12 = require("ltn12")
|
2004-03-22 05:15:03 +01:00
|
|
|
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)
|
2004-05-28 09:47:41 +02:00
|
|
|
ltn12.pump.all(source, sink)
|