C# IO

snippets.cs

// Read from stdin (TextReader)

static IEnumerable<string> ReadLines(TextReader sr)
{
    string line;
    while (null != (line = sr.ReadLine())) yield return line;
}

// Parse command line

using CommandLine;

public class Config
{
    [Option('d', "debug")]
    public bool Debug { get; set; }
}

CommandLine.Parser.Default.ParseArguments<Config>(args)
    .WithParsed<Config>(Process);


// string formatting
// https://docs.microsoft.com/en-us/dotnet/standard/base-types/how-to-pad-a-number-with-leading-zeros