1 2 3 4 5 6 7
post_install() { cat <<EOF ==> Put this in your ~/.emacs file to use idris-mode: (require 'idris-mode) EOF }