#include "gbos.h"
/* cat [file]: print a file, or copy stdin to stdout until EOF. */
void main(void) {
    char *argv[4];
    unsigned char argc = argv_parse(argv, 4);
    if (argc > 0) {
        unsigned char fd = open(argv[0], O_READ);
        int ch;
        if (fd == EISDIR) { puts("cat: is a directory"); nl(); return; }
        if (fd == NOFD)   { puts("cat: no such file"); nl(); return; }
        while ((ch = fgetc(fd)) >= 0) putc((char)ch);
        close(fd);
    } else {
        char c;
        for (;;) { c = readc(); if (c == EOF) break; putc(c); }
    }
}