#include <knob/user.h>
#include <knob/task.h>
#include "cmds.h"
#include "line.h"

void main(const char *arg) {
  source(*arg ? arg : "user/default.rc");
  char cmd_buf[128];
  yield_task();
  tell_user_sz("Portland Highway\nType \"help\" for help.\n");
  while (1) {
    tell_user_sz("> ");
    ask_user_line_sz(cmd_buf, 127);
    run_line(cmd_buf);
  }
}