TakeV/spacemacs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Rename the idris-lang layer to idris

Browse source 
The idris-mode package has been updated to no longer use the
idris-packages variable, which allows the Idris layer to safely be
renamed to the standard for other languages.
This commit is contained in:
Timothy Jones 2015-09-22 16:25:51 +12:00 committed by Eivind Fonn
parent f294ba3887
commit 2f6a45f561
3 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
layers/+lang/idris-lang/README.org → layers/+lang/idris/README.org
View file

@ -24,7 +24,7 @@ This layer adds support for the [[http://www.idris-lang.org/][Idris]] language.
To use this layer, add it to your =~/.spacemacs= To use this layer, add it to your =~/.spacemacs=
#+BEGIN_SRC elisp #+BEGIN_SRC elisp
(setq-default dotspacemacs-configuration-layers '(idris-lang)) (setq-default dotspacemacs-configuration-layers '(idris))
#+END_SRC #+END_SRC
** Idris ** Idris

0
layers/+lang/idris-lang/img/idris.png → layers/+lang/idris/img/idris.png
View file

Side by side Swipe Overlay

Before

Width:  |  Height:  |  Size: 4.9 KiB

After

Width:  |  Height:  |  Size: 4.9 KiB

8
layers/+lang/idris-lang/packages.el → layers/+lang/idris/packages.el
View file

@ -10,14 +10,12 @@
;; ;;
;;; License: GPLv3 ;;; License: GPLv3
;; We name this layer idris-lang instead of idris because (setq idris-packages '(idris-mode))
;; the variable `idris-packages' is already used by `idris-mode'
(setq idris-lang-packages '(idris-mode))
(defun idris-lang/init-idris-mode () (defun idris/init-idris-mode ()
(use-package idris-mode (use-package idris-mode
:defer t :defer t
:init :config
(progn (progn
(defun spacemacs/idris-load-file-and-focus (&optional set-line) (defun spacemacs/idris-load-file-and-focus (&optional set-line)
"Pass the current buffer's file to the REPL and switch to it in "Pass the current buffer's file to the REPL and switch to it in