Alterando o Editor PIDA IDE usa

Question

Eu recentemente tentei o IDE PIDA, e quando iniciei eu selecionei o vim, agora eu quero usar o emacs, mas não há nenhuma opção, então eu tentei reinstalar, limpar e nada funcionou ...

Como posso alterar o editor que o PIDA usa?

    

Answer 1

Existe uma pasta chamada .pida2 no diretório inicial. Dentro dele há um arquivo chamado first_run_wizard , que contém isto:

#Remove this to rerun the start wizard

Portanto, basta excluir esse arquivo usando um gerenciador de arquivos ou o comando rm ~/.pida2/first_run_wizard .

Agora, quando você inicia o PIDA, o primeiro assistente de execução é executado e permite que você escolha um editor.