Descrição
Comandos de terminal podem ser escolhidos em um menu em vez de digitados de memória toda vez. Pessoas que repetem scripts, ferramentas ou comandos de shell usam este lançador para deixar ações comuns mais fáceis de acessar.
É um lançador de comandos de terminal, não uma loja gráfica de aplicativos nem um gerenciador de pacotes. Os comandos ainda rodam com as permissões e efeitos normais deles, então as entradas devem ser revisadas antes do uso.