diff options
author | Mort Yao | 2015-06-09 14:32:47 +0800 |
---|---|---|
committer | Mort Yao | 2015-06-09 14:32:47 +0800 |
commit | fc1dd0ed7b3522624ee172f763c940289c7e2d58 (patch) | |
tree | c61d7737857d136368415e495b79037fe9838e11 /emacs-idris-mode-git.install | |
download | aur-fc1dd0ed7b3522624ee172f763c940289c7e2d58.tar.gz |
Initial import
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 +} |