怎么修改上述代码BAT文件变为可选路径

如果你想让bat文件路径成为可选项，你可以对`proc.StartInfo.Arguments`部分做些调整。首先，你可以在函数外部声明一个字符串变量来存储bat文件的路径，例如：

string batFilePath = "C:\\YourPath\\0001.bat"; // 可修改为你希望的bat文件路径

private void button1_Click(object sender, EventArgs e)
{
    string dir = System.Environment.CurrentDirectory;
    System.Diagnostics.Process proc = new System.Diagnostics.Process();
    // 使用batFilePath变量而不是硬编码路径
    proc.StartInfo.FileName = @"cmd.exe";
    proc.StartInfo.WorkingDirectory = dir;
    proc.StartInfo.UseShellExecute = true;
    proc.StartInfo.RedirectStandardInput = false;
    proc.StartInfo.RedirectStandardOutput = false;
    proc.StartInfo.RedirectStandardError = false;
    proc.StartInfo.WindowStyle = System.Diagnostics.ProcessWindowStyle.Normal;
    proc.StartInfo.CreateNoWindow = false;
    
    if (!string.IsNullOrEmpty(batFilePath))
        proc.StartInfo.Arguments = "/k " + batFilePath; // 添加路径时检查是否为空
    else
        proc.StartInfo.Arguments = "/k"; // 如果路径为空，只执行"/k"命令
    
    proc.Start();
    proc.WaitForExit();
    proc.Close();
}

现在用户可以自行更改`batFilePath`变量来指定不同的bat文件路径，如果该路径为空或未设置，则仅执行命令提示符中的"/k"命令。