2016-01-14 09:15:51 +08:00
|
|
|
export executable "cat";
|
|
|
|
|
2016-01-16 18:10:15 +08:00
|
|
|
import "std.zig";
|
2016-01-14 09:15:51 +08:00
|
|
|
|
2016-01-19 10:32:27 +08:00
|
|
|
// Things to do to make this work:
|
|
|
|
// * var args printing
|
|
|
|
// * cast err type to string
|
2016-01-24 16:34:48 +08:00
|
|
|
// * string equality
|
2016-01-21 09:18:50 +08:00
|
|
|
|
2016-01-26 11:27:57 +08:00
|
|
|
pub fn main(args: [][]u8) -> %void {
|
2016-01-16 18:10:15 +08:00
|
|
|
const exe = args[0];
|
|
|
|
var catted_anything = false;
|
2016-01-19 10:32:27 +08:00
|
|
|
for (arg, args[1...]) {
|
2016-01-16 18:10:15 +08:00
|
|
|
if (arg == "-") {
|
|
|
|
catted_anything = true;
|
2016-02-10 09:50:53 +08:00
|
|
|
cat_stream(stdin) %% |err| return err;
|
2016-01-16 18:10:15 +08:00
|
|
|
} else if (arg[0] == '-') {
|
|
|
|
return usage(exe);
|
|
|
|
} else {
|
2016-01-26 14:56:46 +08:00
|
|
|
var is = input_stream_open(arg, OpenReadOnly) %% |err| {
|
2016-01-26 11:27:57 +08:00
|
|
|
%%stderr.print("Unable to open file: {}", ([]u8)(err));
|
2016-01-16 18:10:15 +08:00
|
|
|
return err;
|
2016-01-26 14:56:46 +08:00
|
|
|
};
|
2016-01-16 18:10:15 +08:00
|
|
|
defer is.close();
|
2016-01-14 09:15:51 +08:00
|
|
|
|
2016-01-16 18:10:15 +08:00
|
|
|
catted_anything = true;
|
2016-02-10 09:50:53 +08:00
|
|
|
cat_stream(is) %% |err| return err;
|
2016-01-16 18:10:15 +08:00
|
|
|
}
|
|
|
|
}
|
2016-01-21 09:18:50 +08:00
|
|
|
if (!catted_anything) {
|
2016-02-10 09:50:53 +08:00
|
|
|
cat_stream(stdin) %% |err| return err;
|
2016-01-16 18:10:15 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-26 11:27:57 +08:00
|
|
|
fn usage(exe: []u8) -> %void {
|
2016-01-23 18:06:29 +08:00
|
|
|
%%stderr.print("Usage: {} [FILE]...\n", exe);
|
2016-01-24 16:34:48 +08:00
|
|
|
return error.Invalid;
|
2016-01-16 18:10:15 +08:00
|
|
|
}
|
|
|
|
|
2016-01-26 11:27:57 +08:00
|
|
|
fn cat_stream(is: InputStream) -> %void {
|
2016-01-26 14:56:46 +08:00
|
|
|
var buf: [1024 * 4]u8 = undefined;
|
2016-01-16 18:10:15 +08:00
|
|
|
|
|
|
|
while (true) {
|
2016-01-26 06:45:05 +08:00
|
|
|
const bytes_read = is.read(buf) %% |err| {
|
2016-01-23 18:06:29 +08:00
|
|
|
%%stderr.print("Unable to read from stream: {}", ([]u8)(err));
|
|
|
|
return err;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (bytes_read == 0) {
|
|
|
|
break;
|
2016-01-16 18:10:15 +08:00
|
|
|
}
|
|
|
|
|
2016-01-26 06:45:05 +08:00
|
|
|
stdout.write(buf[0...bytes_read]) %% |err| {
|
2016-01-23 18:06:29 +08:00
|
|
|
%%stderr.print("Unable to write to stdout: {}", ([]u8)(err));
|
|
|
|
return err;
|
2016-01-16 18:10:15 +08:00
|
|
|
}
|
|
|
|
}
|
2016-01-14 09:15:51 +08:00
|
|
|
}
|