O script tem alguns comentários úteis no início:
# Ensure this file is executable via 'chmod a+x lein', then place it # somewhere on your $PATH, like ~/bin. The rest of Leiningen will be # installed upon first run into the ~/.lein/self-installs directory.
Então, para desinstalá-lo, em teoria, você só precisa remover esse diretório
rm -r ~/.lein
assumindo que você não executou o script como root.
Se você quiser reinstalar o programa no futuro, poderá manter o script; como está em um local de caminho, digitar lein
faria com que o script fosse executado novamente, reinstalando o software. Se você não quiser que isso aconteça, exclua o script em si ( rm ~/bin/lein
, supondo que é o caminho para ele) ou remova a permissão de execução dele ( chmod -x ~/bin/lein
).