      ivy
      osx
      nixos
-     python
+     ; python
      emacs-lisp
      html
-     agda
+     ; agda
      scheme
      racket
      fsharp

If you are unsure, try setting them in `dotspacemacs/user-config' first."
  (setq-default
   custom-file (expand-file-name "custom.el" dotspacemacs-directory))
  (push '("melpa-stable" . "stable.melpa.org/packages/") configuration-layer--elpa-archives)
  (push '("ensime" . "melpa-stable") package-pinned-packages)
  )

(defun dotspacemacs/user-load ()


   ;; If non-nil, advise quit functions to keep server open when quitting.
   ;; (default nil)
   dotspacemacs-persistent-server nil

   ;; List of search tool executable names. Spacemacs uses the first installed
   ;; tool of the list. Supported tools are `rg', `ag', `pt', `ack' and `grep'.
