blob: bf786ded9803519940340d3333f55b77928e929c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
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
|
