如何在expect脚本中进行一些计算？

Question

我需要做的是在expect脚本的开头设置一个变量，该变量取决于文件的大小。我需要做的是这样的：

set filesize `stat -c%s foo.bin` 
set factor 42 
set timeout $filesize/$factor 

我已经四处搜寻了一些教程，但是搜索关键字“希望”和“计算”是太常见了，因此搜索结果不面对UNIX二进制在/ usr/bin中/期待。

如何在expect脚本中进行一些计算？

Answer 1

无需调出stat：

set filesize [file size foo.bin] 

见https://tcl.tk/man/tcl8.6/TclCmd/file.htm#M34

Answer 2

期待使用Tcl，所以你还需要学习Tcl's manual。

要快速帮助你：

set filesize [exec stat -c%s foo.bin] 
set factor 42 
set timeout [expr {$filesize/$factor}]