Improve emacs config.

https://emacs.amodernist.com/

.gitmodules

@@ -4,9 +4,6 @@
 [submodule "mutt-gnome-keyring"]
 	path = mutt-gnome-keyring
 	url = https://github.com/wbolster/mutt-gnome-keyring.git
-[submodule "emacs.d"]
-	path = emacs.d
-	url = https://github.com/syl20bnr/spacemacs
 [submodule "liquidprompt"]
 	path = liquidprompt
 	url = https://github.com/nojhan/liquidprompt

emacs.d

@@ -1 +0,0 @@
-Subproject commit c7a103a772d808101d7635ec10f292ab9202d9ee

emacs.d/init.el

@@ -0,0 +1,119 @@
+;;; Personal configuration -*- lexical-binding: t -*-
+
+;; Save the contents of this file under ~/.emacs.d/init.el
+;; Do not forget to use Emacs' built-in help system:
+;; Use C-h C-h to get an overview of all help commands.  All you
+;; need to know about Emacs (what commands exist, what functions do,
+;; what variables specify), the help system can provide.
+
+;; Add the NonGNU ELPA package archive
+(require 'package)
+(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/"))
+(add-to-list 'package-archives  '("nongnu" . "https://elpa.nongnu.org/nongnu/"))
+
+;; Disable splash screen
+(setq inhibit-startup-screen t)
+
+;; Disable satanic torture
+(blink-cursor-mode 0)
+
+;; Set default font face
+(set-face-attribute 'default nil :font "Fira Mono" :height 125)
+
+;; Disable the menu bar
+(menu-bar-mode -1)
+
+;; Disable the tool bar
+(tool-bar-mode -1)
+
+;; Disable the scroll bars
+(scroll-bar-mode -1)
+
+(defun install-package-if-missing (pkg)
+  (unless (package-installed-p pkg)
+    (package-install pkg)))
+
+;;; Completion framework
+(install-package-if-missing 'vertico)
+
+;; Enable completion by narrowing
+(vertico-mode t)
+
+;; Improve directory navigation
+(with-eval-after-load 'vertico
+  (define-key vertico-map (kbd "RET") #'vertico-directory-enter)
+  (define-key vertico-map (kbd "DEL") #'vertico-directory-delete-word)
+  (define-key vertico-map (kbd "M-d") #'vertico-directory-delete-char))
+
+;;; Extended completion utilities
+(install-package-if-missing 'consult)
+(global-set-key [rebind switch-to-buffer] #'consult-buffer)
+
+;;; LSP Support
+(install-package-if-missing 'lsp-mode)
+
+;;; Pop-up auto-completion
+(install-package-if-missing 'company)
+
+;; Enable Company by default in programming buffers
+(add-hook 'prog-mode-hook #'company-mode)
+
+;;; Indication of local VCS changes
+(install-package-if-missing 'diff-hl)
+
+;; Enable `diff-hl' support by default in programming buffers
+(add-hook 'prog-mode-hook #'diff-hl-mode)
+
+;;; Lean Support
+(let ((path "~/lean4-mode"))
+  (when (file-exists-p path)
+    (setq load-path (cons path load-path))
+    (dolist (p '(dash f flycheck lsp-mode magit-section s))
+      (install-package-if-missing p))
+    (require 'lean4-mode)))
+(setq lean4-highlight-inaccessible-names nil)
+
+;;; Rust Support
+(install-package-if-missing 'rust-mode)
+
+;;; LaTeX support
+(install-package-if-missing 'auctex)
+(setq TeX-auto-save t)
+(setq TeX-parse-self t)
+(setq-default TeX-master nil)
+
+;;; Markdown support
+(install-package-if-missing 'markdown-mode)
+
+;;; EditorConfig support
+(install-package-if-missing 'editorconfig)
+(editorconfig-mode t)
+
+;;; Vim Emulation
+(install-package-if-missing 'evil)
+(evil-mode t)
+(install-package-if-missing 'evil-commentary)
+(evil-commentary-mode)
+
+;;; Color Themes
+(install-package-if-missing 'color-theme-sanityinc-tomorrow)
+(load-theme 'sanityinc-tomorrow-bright t)
+
+;; Miscellaneous options
+(setq-default major-mode
+              (lambda () ; guess major mode from file name
+                (unless buffer-file-name
+                  (let ((buffer-file-name (buffer-name)))
+                    (set-auto-mode)))))
+(setq confirm-kill-emacs #'yes-or-no-p)
+(setq window-resize-pixelwise t)
+(setq frame-resize-pixelwise t)
+(save-place-mode t)
+(savehist-mode t)
+(recentf-mode t)
+(defalias 'yes-or-no #'y-or-n-p)
+
+;; Store automatic customisation options elsewhere
+(setq custom-file (locate-user-emacs-file "custom.el"))
+(when (file-exists-p custom-file)
+  (load custom-file))