blob: 02827d89f74b6dc4cfe4536123551c6426595ee9 (
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
|
(setq debug-on-error t)
(setq inhibit-startup-screen t)
(setq inhibit-startup-message t)
(setq enable-local-variables :all)
(defalias 'yes-or-no-p
(lambda (prompt &rest args)
(princ (format "!!! EMACS PROMPTED YES/NO: %s\n" prompt) 'external-debugging-output)
t))
(defalias 'y-or-n-p
(lambda (prompt &rest args)
(princ (format "!!! EMACS PROMPTED Y/N: %s\n" prompt) 'external-debugging-output)
t))
(setq message-log-max t)
(setq standard-output (quote external-debugging-output))
(princ "STEP 0: tf\n" (quote external-debugging-output))
(setq noninteractive t)
(setq system-email "ci-runner@nullring.xyz")
(setq system-username "ci-runner")
(setq system-fullname "Preston Pan") ;; needed for postamble
(setq system-gpgkey "00000000")
(setq logo-file "~/monorepo/img/logo.webp")
(defun package-vc-install (&rest args) (message "blocked package-vc-install for %s" args))
(defun package-vc--unpack (&rest args) nil)
(setq package-archives nil)
(setq use-package-always-ensure nil)
(setq package-vc-selected-packages nil)
(defalias (quote scroll-bar-mode) (quote ignore))
(defalias (quote tool-bar-mode) (quote ignore))
(defalias (quote menu-bar-mode) (quote ignore))
(provide (quote lean4-mode))
(provide (quote irony-mode))
(provide (quote irony))
(defalias (quote irony-cdb-autosetup-compile-options) (quote ignore))
(setq org-latex-pdf-process '("xelatex -shell-escape -interaction nonstopmode %f"))
(setq org-startup-with-latex-preview nil)
(setq org-startup-indented nil)
(setq org-export-with-latex t)
(setq org-confirm-babel-evaluate nil)
(setq load-prefer-newer t)
(setq gc-cons-threshold 100000000)
(setq vc-handled-backends nil)
(setq make-backup-files nil auto-save-default nil create-lockfiles nil)
(require 'catppuccin-theme)
(add-to-list 'custom-theme-load-path
(file-name-directory (locate-library "catppuccin-theme")))
(setq catppuccin-flavor 'mocha)
(load-theme 'catppuccin t)
(princ "STEP 1: init.el?\n" (quote external-debugging-output))
|
