private static string[] ParseGlobalOptions(string [] args)
{
var p = new OptionSet () {
{ "-data-dir=", v => Environment.DataDirectory = v },
{ "-out|out=", v => SetOutput (v) },
};
List<string> extra = null;
try {
extra = p.Parse(args);
} catch (OptionException){
Console.WriteLine ("Try `manos --help' for more information.");
return null;
}
if (extra == null)
return null;
return extra.ToArray ();
}