private static void Main(string[] args)
{
// set UTF-8 encoding, tested in mintty (cygwin, babun) and cmd.exe
java.lang.System.setProperty("file.encoding", "UTF-8");
Console.OutputEncoding = System.Text.Encoding.UTF8;
var preferences = new WindowsTerminalPreferences();
open(args, preferences); // This exits the application, nothing beyond will run.
}
private static void Main(string[] args)
{
// set UTF-8 encoding, tested in mintty (cygwin, babun) and cmd.exe
java.lang.System.setProperty("file.encoding", "UTF-8");
Console.OutputEncoding = System.Text.Encoding.UTF8;
var preferences = new WindowsTerminalPreferences();
open(args, preferences);
preferences.save();
}