在Pico（Putty）上标记文件结尾

Question

我想知道Pico（Putty）中是否有一个命令行标记了文件的结尾。

当我尝试使用inputFile.eof()命令时，该函数无法捕获文件结尾。