diff options
| author | Leonardo Santiago <[email protected]> | 2024-06-14 10:25:38 -0300 |
|---|---|---|
| committer | Leonardo Santiago <[email protected]> | 2024-06-14 10:25:38 -0300 |
| commit | 5b7c730721098a82546b8538e96d415ba5e8d914 (patch) | |
| tree | d1d5b9852d491afcae88ad19834ea364f31114f7 /modules/emacs/README.org | |
| parent | 1881d173ceb8fa57dfaf3ec16c469adce9881a76 (diff) | |
aff lfs, change keys.
Diffstat (limited to 'modules/emacs/README.org')
| -rw-r--r-- | modules/emacs/README.org | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index 92044b2..685c15f 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -66,11 +66,12 @@ Configuration to automagically open age files, and to encrypt them correctly to :demand t :custom (age-program "rage") + (age-default-identity "~/.ssh/id_ed25519") (age-default-recipient - '("ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINWxS8tdN3j7Vm337RmJTzYTMbkAZN5g610ZesH4vhd8" + '("ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJp9EEbJgk/oI84419RmpoDeiACDywNfG4akgdpDBL5W" + "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINKjyS7vbCxr7oDqBpnhHQQzolAW6Fqt1FTOo+hT+lSC" "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDrMCLu3VvQVmd2cqreAJsVKkrtKXqgzO8i8NDm06ysm" - "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGFQN59YDFwwQt/1rb1dHZnxsNV2geWUvHyTKqjdSA52" - "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINKjyS7vbCxr7oDqBpnhHQQzolAW6Fqt1FTOo+hT+lSC")) + "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKuIjOE3xi/frXJHXQuIBntuXP8XyboCWRx48o3sYeub")) :config (age-file-enable)) #+end_src @@ -272,7 +273,9 @@ Try to use the package. #+end_src ** Coq #+begin_src emacs-lisp :tangle yes -(use-package proof-general) +(use-package proof-general + :custom + (proof-splash-enable nil)) (use-package company-coq :hook (coq-mode . company-coq-mode)) |