summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config.el303
-rw-r--r--custom.el12
-rw-r--r--init.el188
-rw-r--r--packages.el83
4 files changed, 586 insertions, 0 deletions
diff --git a/config.el b/config.el
new file mode 100644
index 0000000..f9736bd
--- /dev/null
+++ b/config.el
@@ -0,0 +1,303 @@
+;;; -*- lexical-binding: t; -*-
+
+;; (setq doom-font (font-spec :family "Hasklig" :size 15))
+(load-theme 'doom-palenight t)
+
+(when (version<= "26.0.50" emacs-version )
+ (global-display-line-numbers-mode))
+
+;; company-mode auto-completion, to turn off use :company-complete
+(require 'company)
+(setq company-idle-delay 0.2
+ company-minimum-prefix-length 3)
+
+;; hooks to turn on lsp when entering haskell mode
+(add-hook 'haskell-mode-hook #'lsp)
+(add-hook 'haskell-literate-mode-hook #'lsp)
+
+(setq org-agenda-files '("~/org" "~/org/roam"))
+(setq org-roam-directory "~/org/roam")
+(setq org-roam-v2-ack t)
+
+(setq org-todo-keywords
+ '((sequence "TODO" "IDEA" "IDLE" "DONE"))
+ org-todo-keyword-faces
+ '(("[-]" . +org-todo-active)
+ ("[?]" . +org-todo-onhold)
+ ("KILL" . +org-todo-cancel)))
+
+(add-to-list 'load-path "~/.nix-profile/share/emacs/site-lisp/mu4e/")
+
+(after! mu4e
+ (set-email-account! "hacc"
+ '( (user-mail-address . "stuebinm@hacc.space")
+ (user-full-name . "stuebinm")
+ (m4u-maildir . "~/Maildir/hacc")
+ (mu4e-sent-folder . "/hacc/Sent")
+ (mu4e-trash-folder . "/hacc/Trash") )
+ t))
+
+(after! helm-dictionary
+ (setq helm-dictionary-database
+ '(("de-en" . "~/org/dict/de-en.txt")
+ ("es-de" . "~/org/dict/es-de.txt")
+ ("en-it" . "~/org/dict/en-it-enwiktionary.txt")
+ ("it-en" . "~/org/dict/it-en-enwiktionary.txt"))))
+
+
+
+;; Use carp-mode for .carp files
+;(add-to-list 'auto-mode-alist '("\\.carp\\'" . carp-mode))
+
+
+;; carp-mode and stuff
+(add-to-list 'load-path "~/.config/nixpkgs/doom.d/carp-emacs")
+
+;; (require 'carp-mode)
+;; (require 'inf-carp-mode)
+;; (require 'carp-flycheck)
+;; ;; Use carp-mode for .carp files
+;; (add-to-list 'auto-mode-alist '("\\.carp\\'" . carp-mode))
+;; ;; flycheck mode for better type errors
+;; (add-hook 'carp-mode-hook
+;; (lambda ()
+;; (flycheck-mode 1)))
+
+;; hide all these annoying popups that clutter the view
+(setq lsp-ui-doc-enable nil)
+(setq lsp-ui-sideline-show-code-actions nil)
+(setq lsp-signature-render-documentation nil)
+
+(after! (lsp-ui helm-lsp)
+ (lsp-signature-activate)
+ ;; custom version which will not blindly apply a single code action
+ ;; if only one is available without asking about it first.
+ ;; Source taken from https://github.com/emacs-lsp/helm-lsp/blob/master/helm-lsp.el
+ (lsp-make-interactive-code-action wingman-fill-hole "refactor.wingman.fillHole")
+ (lsp-make-interactive-code-action wingman-case-split "refactor.wingman.caseSplit")
+ (lsp-make-interactive-code-action wingman-refine "refactor.wingman.refine")
+ (lsp-make-interactive-code-action wingman-split-func-args "refactor.wingman.spltFuncArgs")
+ (lsp-make-interactive-code-action wingman-use-constructor "refactor.wingman.useConstructor")
+ (map! :map haskell-mode-map
+ "C-c s" #'lsp-wingman-split
+ "C-c h" #'lsp-wingman-fillhole)
+ (defun helm-lsp-code-actions-custom()
+ "Show lsp code actions using helm."
+ (interactive)
+ (let ((actions (lsp-code-actions-at-point)))
+ (cond
+ ((seq-empty-p actions) (signal 'lsp-no-code-actions nil))
+ (t (helm :sources
+ (helm-build-sync-source
+ "Code Actions"
+ :candidates actions
+ :candidate-transformer
+ (lambda (candidates)
+ (-map
+ (-lambda ((candidate &as
+ &CodeAction :title))
+ (list title :data candidate))
+ candidates))
+ :action '(("Execute code action" . (lambda(candidate)
+ (print "selected code action")
+ (print (plist-get candidate :data))
+ (lsp-execute-code-action (plist-get candidate :data)))))))))))
+
+ (map! :map doom-leader-code-map
+ "a" #'helm-lsp-code-actions-custom))
+
+
+
+
+
+(use-package! isar-mode
+ :mode "\\.thy\\'"
+ :config
+ ;; (add-hook 'isar-mode-hook 'turn-on-highlight-indentation-mode)
+ ;; (add-hook 'isar-mode-hook 'flycheck-mode)
+ (add-hook 'isar-mode-hook 'company-mode)
+ (add-hook 'isar-mode-hook
+ (lambda ()
+ (set (make-local-variable 'company-backends)
+ '((company-dabbrev-code company-yasnippet)))))
+ (add-hook 'isar-mode-hook
+ (lambda ()
+ (set (make-local-variable 'indent-tabs-mode) nil)))
+ (add-hook 'isar-mode-hook
+ (lambda ()
+ (yas-minor-mode))))
+
+(use-package! lsp-isar-parse-args
+ :custom
+ (lsp-isar-parse-args-nollvm nil))
+
+(use-package! lsp-isar
+ :commands lsp-isar-define-client-and-start
+ :custom
+ (lsp-isar-output-use-async t)
+ (lsp-isar-output-time-before-printing-goal nil)
+ (lsp-isar-experimental t)
+ (lsp-isar-split-pattern 'lsp-isar-split-pattern-three-columns)
+ (lsp-isar-decorations-delayed-printing t)
+ :init
+ (add-hook 'lsp-isar-init-hook 'lsp-isar-open-output-and-progress-right-spacemacs)
+ (add-hook 'isar-mode-hook #'lsp-isar-define-client-and-start)
+
+ (push (concat "/home/stuebinm/clones/isabelle-emacs/src/Tools/emacs-lsp/yasnippet")
+ yas-snippet-dirs)
+ (setq lsp-isar-path-to-isabelle "/home/stuebinm/clones/isabelle-emacs"))
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+(require 'exwm)
+;; (if (boundp 'inexwm)
+;; (progn
+
+
+
+(defvar desktop-environment-mode-map
+ (let ((desktop-environment--keybindings
+ `(;; Brightness
+ (,(kbd "<XF86MonBrightnessUp>") . ,(function desktop-environment-brightness-increment))
+ (,(kbd "<XF86MonBrightnessDown>") . ,(function desktop-environment-brightness-decrement))
+ (,(kbd "S-<XF86MonBrightnessUp>") . ,(function desktop-environment-brightness-increment-slowly))
+ (,(kbd "S-<XF86MonBrightnessDown>") . ,(function desktop-environment-brightness-decrement-slowly))
+ ;; Volume
+ (,(kbd "<XF86AudioRaiseVolume>") . ,(function desktop-environment-volume-increment))
+ (,(kbd "<XF86AudioLowerVolume>") . ,(function desktop-environment-volume-decrement))
+ (,(kbd "S-<XF86AudioRaiseVolume>") . ,(function desktop-environment-volume-increment-slowly))
+ (,(kbd "S-<XF86AudioLowerVolume>") . ,(function desktop-environment-volume-decrement-slowly))
+ (,(kbd "<XF86AudioMute>") . ,(function desktop-environment-toggle-mute))
+ (,(kbd "<XF86AudioMicMute>") . ,(function desktop-environment-toggle-microphone-mute))
+ ;; Screenshot
+ (,(kbd "S-<print>") . ,(function desktop-environment-screenshot-part))
+ (,(kbd "<print>") . ,(function desktop-environment-screenshot))
+ ;; Screen locking
+ (,(kbd "s-c") . ,(function desktop-environment-lock-screen))
+ (,(kbd "<XF86ScreenSaver>") . ,(function desktop-environment-lock-screen))
+ ;; Wifi controls
+ (,(kbd "<XF86WLAN>") . ,(function desktop-environment-toggle-wifi))
+ ;; Bluetooth controls
+ (,(kbd "<XF86Bluetooth>") . ,(function desktop-environment-toggle-bluetooth))
+ ;; Music controls
+ (,(kbd "<XF86AudioPlay>") . ,(function desktop-environment-toggle-music))
+ (,(kbd "<XF86AudioPrev>") . ,(function desktop-environment-music-previous))
+ (,(kbd "<XF86AudioNext>") . ,(function desktop-environment-music-next))
+ (,(kbd "<XF86AudioStop>") . ,(function desktop-environment-music-stop))))
+ (map (make-sparse-keymap)))
+ (dolist (keybinding desktop-environment--keybindings)
+ (define-key map (car keybinding) (cdr keybinding)))
+ map)
+ "Keymap for `desktop-environment-mode'.")
+
+(defun desktop-environment-exwm-set-global-keybindings (enable)
+ (when (featurep 'exwm-input)
+ (when enable
+ (map-keymap (lambda (event definition)
+ (exwm-input-set-key (vector event) definition))
+ desktop-environment-mode-map))))
+
+
+;; set up desktop env keybindings with exwm
+;(setq desktop-environment-update-global-keys :global)
+;(desktop-environment-mode)
+(desktop-environment-exwm-set-global-keybindings t)
+
+;; keybindings for exwm
+(exwm-input-set-key (kbd "s-l") 'evil-window-right)
+(exwm-input-set-key (kbd "s-k") 'evil-window-up)
+(exwm-input-set-key (kbd "s-j") 'evil-window-down)
+(exwm-input-set-key (kbd "s-h") 'evil-window-left)
+(exwm-input-set-key (kbd "s-L") '+evil/window-move-right)
+(exwm-input-set-key (kbd "s-K") '+evil/window-move-up)
+(exwm-input-set-key (kbd "s-J") '+evil/window-move-down)
+(exwm-input-set-key (kbd "s-H") '+evil/window-move-left)
+(exwm-input-set-key (kbd "s-q") 'evil-quit)
+(exwm-input-set-key (kbd "s-o") 'delete-other-windows)
+(exwm-input-set-key (kbd "s-SPC") 'switch-to-buffer)
+(exwm-input-set-key (kbd "s-v") 'evil-window-vsplit)
+(exwm-input-set-key (kbd "s-b") 'evil-window-split)
+(exwm-input-set-key (kbd "s-V") '+evil/window-vsplit-and-follow)
+(exwm-input-set-key (kbd "s-B") '+evil/window-split-and-follow)
+
+(exwm-input-set-key (kbd "<XF86AudioLowerVolume>")
+ 'pulseaudio-control-decrease-volume)
+(exwm-input-set-key (kbd "<XF86AudioRaiseVolume>")
+ 'pulseaudio-control-increase-volume)
+(exwm-input-set-key (kbd "<XF86AudioMute>")
+ 'pulseaudio-control-toggle-current-sink-mute)
+(exwm-input-set-key (kbd "<s-XF86AudioMute>")
+ 'pulseaudio-control-select-sink-by-name)
+
+(exwm-input-set-key (kbd "s-c") 'desktop-environment-lock-screen)
+(exwm-input-set-key (kbd "s-x") 'counsel-M-x)
+
+(exwm-input-set-key (kbd "<XF86MonBrightnessDown>")
+ 'desktop-environment-brightness-decrement)
+(exwm-input-set-key (kbd "<XF86MonBrightnessUp>")
+ 'desktop-environment-brightness-increment)
+(exwm-input-set-key (kbd "<M-XF86MonBrightnessDown>")
+ 'desktop-environment-brightness-decrement-slowly)
+(exwm-input-set-key (kbd "<M-XF86MonBrightnessUp>")
+ 'desktop-environment-brightness-increment-slowly)
+
+
+;; icons in the tray
+ (setq display-time-24hr-format 1)
+ (display-time-mode)
+ (display-battery-mode)
+ ;; ))
+
+
+ ;; stuff for executing other programs
+ (require 'simple)
+
+ (defvar execute-command-alist '()
+ "An association list of (command-call . process-object) for all commands executed.")
+
+ (defconst execute-list-buffer "*Execute Cmd List*"
+ "Name of the execute listing buffer.")
+
+ (defun execute-program (command)
+ "Execute the COMMAND asynchronously and track it so later can be listed using `execute-list'."
+ (interactive (list (read-shell-command "execute command:")))
+ (let* ((proc-obj
+ (start-process-shell-command "execute-process" "execute-process-buffer" command)))
+ (when proc-obj ; Add to the alist
+ (setq execute-command-alist
+ (cons (cons command proc-obj) execute-command-alist))
+ (display-buffer (process-buffer proc-obj)))))
+
+ (defun execute-list ()
+ "List all the commands executed."
+ (interactive)
+ (with-current-buffer (get-buffer-create execute-list-buffer)
+ (delete-region (point-min) (point-max))
+ (switch-to-buffer (current-buffer))
+ (dolist (e execute-command-alist)
+ (when (process-status (cdr e))
+ (insert (format "%d: '%s' - %s - %s\n"
+ (process-id (cdr e))
+ (car e)
+ (process-status (cdr e))
+ (process-buffer (cdr e))))))))
+
+
+ (substitute-key-definition 'shell-command 'execute-program (current-global-map))
+ (exwm-input-set-key (kbd "s-s") 'execute-program)
+ (exwm-input-set-key (kbd "s-t") '(lambda ()
+ "open a kitty terminal"
+ (interactive)
+ (execute-program "kitty")))
diff --git a/custom.el b/custom.el
new file mode 100644
index 0000000..e8a0fcb
--- /dev/null
+++ b/custom.el
@@ -0,0 +1,12 @@
+(custom-set-variables
+ ;; custom-set-variables 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.
+ '(auth-source-save-behavior nil))
+(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.
+ )
diff --git a/init.el b/init.el
new file mode 100644
index 0000000..7c62cef
--- /dev/null
+++ b/init.el
@@ -0,0 +1,188 @@
+;;; init.el -*- lexical-binding: t; -*-
+
+;; This file controls what Doom modules are enabled and what order they load
+;; in. Remember to run 'doom sync' after modifying it!
+
+;; NOTE Press 'SPC h d h' (or 'C-h d h' for non-vim users) to access Doom's
+;; documentation. There you'll find a "Module Index" link where you'll find
+;; a comprehensive list of Doom's modules and what flags they support.
+
+;; NOTE Move your cursor over a module's name (or its flags) and press 'K' (or
+;; 'C-c c k' for non-vim users) to view its documentation. This works on
+;; flags as well (those symbols that start with a plus).
+;;
+;; Alternatively, press 'gd' (or 'C-c c d') on a module to browse its
+;; directory (for easy access to its source code).
+
+(doom! :input
+ ;;chinese
+ ;;japanese
+ ;;layout ; auie,ctsrnm is the superior home row
+
+ :completion
+ ;;company ; the ultimate code completion backend
+ helm ; the *other* search engine for love and life
+ ;;ido ; the other *other* search engine...
+ ivy ; a search engine for love and life
+
+ :ui
+ ;;deft ; notational velocity for Emacs
+ doom ; what makes DOOM look the way it does
+ doom-dashboard ; a nifty splash screen for Emacs
+ doom-quit ; DOOM quit-message prompts when you quit Emacs
+ (emoji) ; 🙂
+ ;;fill-column ; a `fill-column' indicator
+ hl-todo ; highlight TODO/FIXME/NOTE/DEPRECATED/HACK/REVIEW
+ ;;hydra
+ ;;indent-guides ; highlighted indent columns
+ ;;ligatures ; ligatures and symbols to make your code pretty again
+ minimap ; show a map of the code on the side
+ modeline ; snazzy, Atom-inspired modeline, plus API
+ ;;nav-flash ; blink cursor line after big motions
+ ;;neotree ; a project drawer, like NERDTree for vim
+ ophints ; highlight the region an operation acts on
+ (popup +defaults) ; tame sudden yet inevitable temporary windows
+ ;;tabs ; a tab bar for Emacs
+ ;;treemacs ; a project drawer, like neotree but cooler
+ unicode ; extended unicode support for various languages
+ vc-gutter ; vcs diff in the fringe
+ vi-tilde-fringe ; fringe tildes to mark beyond EOB
+ ;;window-select ; visually switch windows
+ workspaces ; tab emulation, persistence & separate workspaces
+ ;;zen ; distraction-free coding or writing
+
+ :editor
+ (evil +everywhere); come to the dark side, we have cookies
+ file-templates ; auto-snippets for empty files
+ fold ; (nigh) universal code folding
+ ;;(format +onsave) ; automated prettiness
+ ;;god ; run Emacs commands without modifier keys
+ ;;lispy ; vim for lisp, for people who don't like vim
+ ;;multiple-cursors ; editing in many places at once
+ ;;objed ; text object editing for the innocent
+ ;;parinfer ; turn lisp into python, sort of
+ ;;rotate-text ; cycle region at point between text candidates
+ snippets ; my elves. They type so I don't have to
+ word-wrap ; soft wrapping with language-aware indent
+
+ :emacs
+ dired ; making dired pretty [functional]
+ electric ; smarter, keyword-based electric-indent
+ ;;ibuffer ; interactive buffer management
+ undo ; persistent, smarter undo for your inevitable mistakes
+ vc ; version-control and Emacs, sitting in a tree
+
+ :term
+ ;;eshell ; the elisp shell that works everywhere
+ ;;shell ; simple shell REPL for Emacs
+ ;;term ; basic terminal emulator for Emacs
+ ;;vterm ; the best terminal emulation in Emacs
+
+ :checkers
+ syntax ; tasing you for every semicolon you forget
+ ;;(spell +flyspell) ; tasing you for misspelling mispelling
+ ;;grammar ; tasing grammar mistake every you make
+
+ :tools
+ ;;ansible
+ ;;debugger ; FIXME stepping through code, to help you add bugs
+ ;;direnv
+ docker
+ ;;editorconfig ; let someone else argue about tabs vs spaces
+ ;;ein ; tame Jupyter notebooks with emacs
+ (eval +overlay) ; run code, run (also, repls)
+ ;;gist ; interacting with github gists
+ lookup ; navigate your code and its documentation
+ lsp
+ magit ; a git porcelain for Emacs
+ ;;make ; run make tasks from Emacs
+ ;;pass ; password manager for nerds
+ pdf ; pdf enhancements
+ ;;prodigy ; FIXME managing external services & code builders
+ ;;rgb ; creating color strings
+ ;;taskrunner ; taskrunner for all your projects
+ ;;terraform ; infrastructure as code
+ ;;tmux ; an API for interacting with tmux
+ ;;upload ; map local to remote projects via ssh/ftp
+
+ :os
+ (:if IS-MAC macos) ; improve compatibility with macOS
+ tty ; improve the terminal Emacs experience
+
+ :lang
+ agda ; types of types of types of types...
+ ;;cc ; C/C++/Obj-C madness
+ clojure ; java with a lisp
+ ;;common-lisp ; if you've seen one lisp, you've seen them all
+ ;;coq ; proofs-as-programs
+ ;;crystal ; ruby at the speed of c
+ ;;csharp ; unity, .NET, and mono shenanigans
+ ;;data ; config/data formats
+ ;;(dart +flutter) ; paint ui and not much else
+ (elixir +lsp) ; erlang done right
+ ;;elm ; care for a cup of TEA?
+ emacs-lisp ; drown in parentheses
+ ;;erlang ; an elegant language for a more civilized age
+ ;;ess ; emacs speaks statistics
+ ;;faust ; dsp, but you get to keep your soul
+ ;;fsharp ; ML stands for Microsoft's Language
+ ;;fstar ; (dependent) types and (monadic) effects and Z3
+ ;;gdscript ; the language you waited for
+ ;;(go +lsp) ; the hipster dialect
+ (haskell +lsp) ; a language that's lazier than I am
+ ;;hy ; readability of scheme w/ speed of python
+ idris ; a language you can depend on
+ json ; At least it ain't XML
+ (java +meghanada) ; the poster child for carpal tunnel syndrome
+ ;;javascript ; all(hope(abandon(ye(who(enter(here))))))
+ ;;julia ; a better, faster MATLAB
+ ;;kotlin ; a better, slicker Java(Script)
+ ;;latex ; writing papers in Emacs has never been so fun
+ lean
+ ;;factor
+ ;;ledger ; an accounting system in Emacs
+ ;;lua ; one-based indices? one-based indices
+ markdown ; writing docs for people to ignore
+ ;;nim ; python + lisp at the speed of c
+ nix ; I hereby declare "nix geht mehr!"
+ ocaml ; an objective camel
+ (org
+ +roam2
+ +pandoc
+ +noter) ; organize your plain life in plain text
+ ;;php ; perl's insecure younger brother
+ ;;plantuml ; diagrams for confusing people more
+ (purescript +lsp) ; javascript, but functional
+ python ; beautiful is better than ugly
+ ;;qt ; the 'cutest' gui framework ever
+ racket ; a DSL for DSLs
+ ;;raku ; the artist formerly known as perl6
+ ;;rest ; Emacs as a REST client
+ ;;rst ; ReST in peace
+ ;;(ruby +rails) ; 1.step {|i| p "Ruby is #{i.even? ? 'love' : 'life'}"}
+ (rust +lsp) ; Fe2O3.unwrap().unwrap().unwrap().unwrap()
+ ;;scala ; java, but good
+ ;;scheme ; a fully conniving family of lisps
+ sh ; she sells {ba,z,fi}sh shells on the C xor
+ ;;sml
+ ;;solidity ; do you need a blockchain? No.
+ ;;swift ; who asked for emoji variables?
+ ;;terra ; Earth and Moon in alignment for performance.
+ web ; the tubes
+ yaml ; JSON, but readable
+
+ :email
+ mu4e ;; +gmail
+ ;;notmuch
+ ;;wanderlust ;; +gmail)
+
+ :app
+ ;;calendar
+ ;;everywhere ; *leave* Emacs!? You must be joking
+ ;;irc ; how neckbeards socialize
+ ;;(rss +org) ; emacs as an RSS reader
+ ;;twitter ; twitter client https://twitter.com/vnought
+
+ :config
+ ;;literate
+ (default +bindings +smartparens))
diff --git a/packages.el b/packages.el
new file mode 100644
index 0000000..a1ffc3e
--- /dev/null
+++ b/packages.el
@@ -0,0 +1,83 @@
+;; -*- no-byte-compile: t; -*-
+;;; $DOOMDIR/packages.el
+
+;; To install a package with Doom you must declare them here and run 'doom sync'
+;; on the command line, then restart Emacs for the changes to take effect -- or
+;; use 'M-x doom/reload'.
+
+
+;; To install SOME-PACKAGE from MELPA, ELPA or emacsmirror:
+;(package! some-package)
+
+(package! lsp-ui)
+(package! lsp-mode)
+
+(package! dhall-mode)
+(package! futhark-mode)
+
+(package! boxquote)
+
+(package! helm-dictionary)
+(package! org-drill)
+(package! org-drill-table)
+
+(package! pulseaudio-control)
+(package! desktop-environment)
+
+
+(package! isar-mode
+ :recipe (:host github :repo "m-fleury/isar-mode"))
+
+(package! isar-goal-mode
+ :recipe (:host github :repo "m-fleury/simp-isar-mode"))
+
+(package! lsp-isar
+ :recipe (:local-repo "/home/stuebinm/clones/isabelle-emacs/src/Tools/emacs-lsp/lsp-isar"))
+
+(package! lsp-isar-parse-args
+ :recipe (:local-repo "/home/stuebinm/clones/isabelle-emacs/src/Tools/emacs-lsp/lsp-isar"))
+
+(package! session-async)
+
+(package! request)
+
+;; To install a package directly from a remote git repo, you must specify a
+;; `:recipe'. You'll find documentation on what `:recipe' accepts here:
+;; https://github.com/raxod502/straight.el#the-recipe-format
+;(package! another-package
+; :recipe (:host github :repo "username/repo"))
+
+;; If the package you are trying to install does not contain a PACKAGENAME.el
+;; file, or is located in a subdirectory of the repo, you'll need to specify
+;; `:files' in the `:recipe':
+;(package! this-package
+; :recipe (:host github :repo "username/repo"
+; :files ("some-file.el" "src/lisp/*.el")))
+
+;; If you'd like to disable a package included with Doom, you can do so here
+;; with the `:disable' property:
+;(package! builtin-package :disable t)
+
+;; You can override the recipe of a built in package without having to specify
+;; all the properties for `:recipe'. These will inherit the rest of its recipe
+;; from Doom or MELPA/ELPA/Emacsmirror:
+;(package! builtin-package :recipe (:nonrecursive t))
+;(package! builtin-package-2 :recipe (:repo "myfork/package"))
+
+;; Specify a `:branch' to install a package from a particular branch or tag.
+;; This is required for some packages whose default branch isn't 'master' (which
+;; our package manager can't deal with; see raxod502/straight.el#279)
+;(package! builtin-package :recipe (:branch "develop"))
+
+;; Use `:pin' to specify a particular commit to install.
+;(package! builtin-package :pin "1a2b3c4d5e")
+
+
+;; Doom's packages are pinned to a specific commit and updated from release to
+;; release. The `unpin!' macro allows you to unpin single packages...
+;(unpin! pinned-package)
+;; ...or multiple packages
+;(unpin! pinned-package another-pinned-package)
+;; ...Or *all* packages (NOT RECOMMENDED; will likely break things)
+;(unpin! t)
+