diff options
Diffstat (limited to 'share/home/emacs')
| -rw-r--r-- | share/home/emacs/default.nix | 13 | ||||
| -rw-r--r-- | share/home/emacs/emacs.el | 132 |
2 files changed, 145 insertions, 0 deletions
diff --git a/share/home/emacs/default.nix b/share/home/emacs/default.nix new file mode 100644 index 0000000..6c40b78 --- /dev/null +++ b/share/home/emacs/default.nix @@ -0,0 +1,13 @@ +{ pkgs, ... }: +let + my-emacs = pkgs.emacsWithPackagesFromUsePackage { + config = ./emacs.el; + defaultInitFile = true; + package = pkgs.emacs-pgtk; + alwaysEnsure = true; + alwaysTangle = true; + }; +in +{ + home.packages = [ my-emacs ]; +} diff --git a/share/home/emacs/emacs.el b/share/home/emacs/emacs.el new file mode 100644 index 0000000..bf786de --- /dev/null +++ b/share/home/emacs/emacs.el @@ -0,0 +1,132 @@ +;; -*- lexical-binding: t -*- +;;; emacs-config --- My emacs config +;;; Commentary: +;;; Code: +;; Lots of stuff copied from Sanemacs version 0.3.2 +;; https://sanemacs.com/ + +;;; For performance +(setq gc-cons-threshold 100000000) +(setq read-process-output-max (* 1024 1024)) ;; 1mb + + +(add-hook 'after-init-hook #'(lambda () + ;; restore after startup + (setq gc-cons-threshold 800000))) + +;;; Disable menu-bar, tool-bar, and scroll-bar. +(if (fboundp 'menu-bar-mode) + (menu-bar-mode -1)) +(if (fboundp 'tool-bar-mode) + (tool-bar-mode -1)) +(if (fboundp 'scroll-bar-mode) + (scroll-bar-mode -1)) + +;;; Fix this bug: +;;; https://www.reddit.com/r/emacs/comments/cueoug/the_failed_to_download_gnu_archive_is_a_pretty/ +(when (version< emacs-version "26.3") + (setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3")) + +;;; Setup package.el +(require 'package) +(setq package-enable-at-startup nil) +(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/")) +(unless package--initialized (package-initialize)) + +;;; Setup use-package +(unless (package-installed-p 'use-package) + (package-refresh-contents) + (package-install 'use-package)) +(eval-when-compile + (require 'use-package)) +(setq use-package-always-ensure t) + +;;; Useful Defaults +(setq-default cursor-type 'bar) ; Line-style cursor similar to other text editors +(setq inhibit-startup-screen t) ; Disable startup screen +(setq initial-scratch-message "") ; Make *scratch* buffer blank +(setq-default frame-title-format '("%b")) ; Make window title the buffer name +(setq ring-bell-function 'ignore) ; Disable bell sound +(fset 'yes-or-no-p 'y-or-n-p) ; y-or-n-p makes answering questions faster +(show-paren-mode 1) ; Show closing parens by default +(setq linum-format "%4d ") ; Line number format +(delete-selection-mode 1) ; Selected text will be overwritten when you start typing +(global-auto-revert-mode t) ; Auto-update buffer if file has changed on disk +(use-package undo-tree ; Enable undo-tree, sane undo/redo behavior + :init (global-undo-tree-mode) + :config (setq-default undo-tree-auto-save-history nil)) +(add-hook 'before-save-hook + 'delete-trailing-whitespace) ; Delete trailing whitespace on save +(add-hook 'prog-mode-hook ; Show line numbers in programming modes + (if (and (fboundp 'display-line-numbers-mode) (display-graphic-p)) + #'display-line-numbers-mode + #'linum-mode)) + +(defun sanemacs/backward-kill-word () + (interactive "*") + (push-mark) + (backward-word) + (delete-region (point) (mark))) + +;;; Keybindings +(global-set-key [mouse-3] 'mouse-popup-menubar-stuff) ; Gives right-click a context menu +(global-set-key (kbd "C->") 'indent-rigidly-right-to-tab-stop) ; Indent selection by one tab length +(global-set-key (kbd "C-<") 'indent-rigidly-left-to-tab-stop) ; De-indent selection by one tab length +(global-set-key (kbd "M-DEL") 'sanemacs/backward-kill-word) ; Kill word without copying it to your clipboard +(global-set-key (kbd "C-DEL") 'sanemacs/backward-kill-word) ; Kill word without copying it to your clipboard + +;;; Offload the custom-set-variables to a separate file +;;; This keeps your init.el neater and you have the option +;;; to gitignore your custom.el if you see fit. +(setq custom-file (expand-file-name "custom.el" user-emacs-directory)) +(unless (file-exists-p custom-file) + (write-region "" nil custom-file)) +;;; Load custom file. Don't hide errors. Hide success message +(load custom-file nil t) + +;;; Put Emacs auto-save and backup files to /tmp/ or C:/Temp/ +(defconst emacs-tmp-dir (expand-file-name (format "emacs%d" (user-uid)) temporary-file-directory)) +(setq + backup-by-copying t ; Avoid symlinks + delete-old-versions t + kept-new-versions 6 + kept-old-versions 2 + version-control t + auto-save-list-file-prefix emacs-tmp-dir + auto-save-file-name-transforms `((".*" ,emacs-tmp-dir t)) ; Change autosave dir to tmp + backup-directory-alist `((".*" . ,emacs-tmp-dir))) + +;;; Lockfiles unfortunately cause more pain than benefit +(setq create-lockfiles nil) + +;;; Load wheatgrass as the default theme if one is not loaded already + +(if (not custom-enabled-themes) + (load-theme 'wheatgrass t)) + +(defun reload-config () + (interactive) + (load-file (expand-file-name "init.el" user-emacs-directory))) + + +;; Autopairs +(electric-pair-mode 1) + +;; Set up vi keybinds +(use-package evil + :config + (evil-mode 1)) + +(use-package nix-mode + :mode "\\.nix\\'") + +;; Set up proof general for working with coq +(use-package proof-general + :mode ("\\.v\\'" . coq-mode)) + +(use-package flycheck + :init (global-flycheck-mode)) + +(use-package company + :init (global-company-mode)) +;;; emacs.el ends here |