Em algum momento, anos atrás, eu encontrei um gerenciador de arquivos que tinha um painel que você poderia inserir linhas de comando. Eu pesquiso por gerenciadores de arquivos do Linux, mas não consigo localizá-los. Alguém sabe qual gerenciador de arquivos foi?