diff options
Diffstat (limited to 'emacs-idris-mode-git.install')
| -rw-r--r-- | emacs-idris-mode-git.install | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/emacs-idris-mode-git.install b/emacs-idris-mode-git.install new file mode 100644 index 000000000000..cafff2e863d3 --- /dev/null +++ b/emacs-idris-mode-git.install @@ -0,0 +1,7 @@ +post_install() { + cat <<EOF +==> Put this in your ~/.emacs file to use idris-mode: + +(require 'idris-mode) +EOF +} |