带有命令行面板的文件管理器

Question

几年前的某个时候，我发现了一个文件管理器，它有一个可以输入命令行的面板。我搜索过 Linux 文件管理器，但找不到它。有人知道它是什么文件管理器吗？