Dos下调用MySQL输入命令

题目说的意思简单举例来说：比如在cmd中登陆mysql，再输入mysql -u root -p后，系统提示要输入密码，而批处理在此时会阻断，后面的代码不在执行，不能输入密码。

我这里遇到的问题是：要使用NuSMV这个exe，在进入NuSMV后是如此界面

如果要进行其他操作必须进行其他的输入。

这里如果我们使用普通的批处理代码，如：

[plain]  view plain copy

1. @echo off  
2. color 0a  
3. NuSMV -int  
4. echo read_model -i dme1.smv;  
5. echo go;  
6. echo check_ctlspec;  
7. echo quit;  
8. pause  

是不能再进入程序后输入命令的。

现在我们使用流处理这问题，如代码:

[plain]  view plain copy

1. @echo off  
2. color 0a  
3. (echo read_model -i dme1.smv;  
4. echo go;  
5. echo check_ctlspec;  
6. echo quit;  
7. )|NuSMV -int  
8. pause  

就可以顺利解决这个问题，如运行图：