void InitTerminal(bool show_banner)
{
#if ON_DOTNET
is_unix = false;
isatty = true;
#else
int p = (int)Environment.OSVersion.Platform;
is_unix = (p == 4) || (p == 128);
if (is_unix)
{
isatty = UnixUtils.isatty(0) && UnixUtils.isatty(1);
}
else
{
isatty = true;
}
#endif
// Work around, since Console is not accounting for
// cursor position when writing to Stderr. It also
// has the undesirable side effect of making
// errors plain, with no coloring.
// Report.Stderr = Console.Out;
SetupConsole();
if (isatty && show_banner)
{
Console.WriteLine("Mono C# Shell, type \"help;\" for help\n\nEnter statements below.");
}
}