 
    ;; If non-nil, advise quit functions to keep server open when quitting.
    ;; (default nil)
-   dotspacemacs-persistent-server t
+   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'.

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 ()

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