Update emacs config

emacs.el

@@ -15,56 +15,27 @@
  ;; If there is more than one, they won't work right.
  '(agda2-program-args nil)
  '(blink-cursor-mode nil)
- '(custom-enabled-themes (quote (spacemacs-dark)))
+ '(echo-keystrokes 1e-10)
- '(custom-safe-themes
-   (quote
-    ("bffa9739ce0752a37d9b1eee78fc00ba159748f50dc328af4be661484848e476")))
- '(echo-keystrokes 0.001)
  '(package-selected-packages
    (quote
-    (purescript-mode dash-functional dash lsp-mode yaml-mode spacemacs-theme restart-emacs markdown-mode magit idris-mode helm haskell-mode haml-mode form-feed dashboard))))
+    (ssh-agency dash yaml-mode restart-emacs markdown-mode magit helm haml-mode form-feed dashboard))))
 
 (menu-bar-mode -1)
 (tool-bar-mode -1)
-
+(scroll-bar-mode -1)
-
-;;;; Fonts
-
-(custom-set-faces
- ;; custom-set-faces was added by Custom.
- ;; If you edit it by hand, you could mess it up, so be careful.
- ;; Your init file should contain only one such instance.
- ;; If there is more than one, they won't work right.
- '(default ((t (:inherit nil :stipple nil :background "#292b2e" :foreground "#b2b2b2" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 145 :width normal :foundry "ADBE" :family "Source Code Pro"))))
- '(agda2-highlight-catchall-clause-face ((t (:box (:line-width 1 :color "white smoke")))))
- '(agda2-highlight-coverage-problem-face ((t (:box (:line-width 1 :color "wheat")))))
- '(agda2-highlight-datatype-face ((t (:foreground "royal blue"))))
- '(agda2-highlight-function-face ((t (:foreground "dodger blue"))))
- '(agda2-highlight-number-face ((t (:foreground "purple"))))
- '(agda2-highlight-postulate-face ((t (:foreground "royal blue"))))
- '(agda2-highlight-primitive-face ((t (:foreground "royal blue"))))
- '(agda2-highlight-primitive-type-face ((t (:foreground "royal blue"))))
- '(agda2-highlight-reachability-problem-face ((t (:box (:line-width 1 :color "dark gray")))))
- '(agda2-highlight-record-face ((t (:foreground "royal blue"))))
- '(agda2-highlight-termination-problem-face ((t (:box (:line-width 1 :color "light salmon")))))
- '(agda2-highlight-unsolved-constraint-face ((t (:box (:line-width 1 :color "Gold")))))
- '(agda2-highlight-unsolved-meta-face ((t (:box (:line-width 1 :color "Gold")))))
- '(custom-group-tag ((t (:inherit variable-pitch :foreground "light blue" :weight bold :height 1))))
- '(custom-group-tag-1 ((t (:inherit variable-pitch :foreground "pink" :weight bold :height 1))))
- '(markdown-header-face-1 ((t (:inherit bold :foreground "#4f97d7" :height 1.0))))
- '(markdown-header-face-2 ((t (:inherit bold :foreground "#2d9574" :height 1.0))))
- '(markdown-header-face-3 ((t (:foreground "#67b11d" :weight normal :height 1.0))))
- '(whitespace-trailing ((t (:background "#542b2e")))))
 
 
 ;;;; Agda
 
-(load-file (let ((coding-system-for-read 'utf-8))
+(add-to-list 'load-path                   "~/.config/emacs/libs/haskell-mode/")
-     (shell-command-to-string "agda-mode locate")))
+(add-to-list 'Info-default-directory-list "~/.config/emacs/libs/haskell-mode/")
+(add-to-list 'load-path                   "~/.config/emacs/libs/agda-mode/")
+(add-to-list 'Info-default-directory-list "~/.config/emacs/libs/agda-mode/")
 
-;; ;; This will make e.g. make Agda's input-method avaiable for
+;; (load-file (let ((coding-system-for-read 'utf-8))
-;; ;; activation globally.
+;;      (shell-command-to-string "agda-mode locate")))
-(require 'agda-input)
+
+(require 'agda2-mode)
 
 
 ;;;; Captain Hook
@@ -95,23 +66,6 @@
 (dashboard-setup-startup-hook)
 ;; (setq dashboard-startup-banner 'logo)
 
-
-;;;; Helm
-
-;; ;; Enable helm's recent files
-;; (setq recentf-max-menu-items 25)
-;; (global-set-key (kbd "C-x C-r") 'helm-recentf)
-
-;; ;; Use helm by default
-;; (define-key global-map [remap find-file] 'helm-find-files)
-;; (define-key global-map [remap occur] 'helm-occur)
-;; (define-key global-map [remap list-buffers] 'helm-buffers-list)
-;; (define-key global-map [remap dabbrev-expand] 'helm-dabbrev)
-;; (define-key global-map [remap execute-extended-command] 'helm-M-x)
-
-;; ;; Swap TAB and C-j
-;; (define-key helm-find-files-map "\t" 'helm-execute-persistent-action)
-;; (define-key helm-find-files-map (kbd "C-j") 'helm-select-action)
 
 ;; ;; (defun scroll-down-half ()
 ;; ;;   (interactive)
@@ -137,48 +91,13 @@
                                orig-fg))))
 
 (global-unset-key (kbd "C-z"))
+
 (require 'haskell-unicode-input-method)
 (add-hook 'haskell-mode-hook
   (lambda () (set-input-method "haskell-unicode")))
 
-;; (turn-on-purescript-indentation)
 (global-set-key (kbd "C-x g") 'magit-status)
 
-;; Haskell IDE
-(add-to-list 'load-path "/home/fredefox/.emacs.d/git/lsp-mode")
-(add-to-list 'load-path "/home/fredefox/.emacs.d/git/lsp-ui")
-(add-to-list 'load-path "/home/fredefox/.emacs.d/git/lsp-haskell")
-;; (require 'lsp-mode)
-;; (require 'lsp-ui)
-;; (require 'lsp-haskell)
-
-;; (lsp-define-stdio-client
-;;  ;; This can be a symbol of your choosing. It will be used as a the
-;;  ;; prefix for a dynamically generated function "-enable"; in this
-;;  ;; case: lsp-prog-major-mode-enable
-;;  lsp-prog-major-mode
-;;  "language-id"
-;;  ;; This will be used to report a project's root directory to the LSP
-;;  ;; server.
-;;  (lambda () default-directory)
-;;  ;; This is the command to start the LSP server. It may either be a
-;;  ;; string containing the path of the command, or a list wherein the
-;;  ;; car is a string containing the path of the command, and the cdr
-;;  ;; are arguments to that command.
-;;  '("/my/lsp/server" "and" "args"))
-
-;; ;; Here we'll add the function that was dynamically generated by the
-;; ;; call to lsp-define-stdio-client to the major-mode hook of the
-;; ;; language we want to run it under.
-;; ;;
-;; ;; This function will turn lsp-mode on and call the command given to
-;; ;; start the LSP server.
-;; ;; (add-hook 'prog-major-mode #'lsp-prog-major-mode-enable)
-
-;; ;; (add-hook 'lsp-mode-hook 'lsp-ui-mode)
-;; ;; (add-hook 'haskell-mode-hook #'lsp-haskell-enable)
-;; ;; (add-hook 'haskell-mode-hook 'flycheck-mode)
-
 (show-paren-mode)
 
 (fset 'haskell/def
@@ -186,3 +105,17 @@
 
 ;; (global-set-key (kbd "C-x C-e") 'magit-status)
 (setq x-select-enable-clipboard t)
+
+(require 'haskell-mode-autoloads)
+(delete-selection-mode 1)
+(custom-set-faces
+ ;; custom-set-faces was added by Custom.
+ ;; If you edit it by hand, you could mess it up, so be careful.
+ ;; Your init file should contain only one such instance.
+ ;; If there is more than one, they won't work right.
+ )
+
+(setq initial-buffer-choice (lambda () (get-buffer "*dashboard*")))
+
+(setq dashboard-startup-banner "/home/fredefox/.local/share/emacs/fredefox.svg")
+(setq dashboard-items '((recents  . 40)))