mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(users/sterni): add emacs configuration

Browse source 
Change-Id: Icbdb52ba5ea51e8594eb46c5f0740e4f7c353be4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/3381
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
This commit is contained in:
sterni 2021-08-19 16:19:21 +02:00
parent 559ee9467b
commit 58b9a53d5c
3 changed files with 296 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
users/sterni/emacs/default.nix Normal file
View file

@ -0,0 +1,40 @@
{ depot, pkgs, ... }:
let
inherit (pkgs.emacsGcc.pkgs) withPackages;
emacs = withPackages (epkgs: [
# basic setup
epkgs.elpaPackages.undo-tree
epkgs.melpaPackages.evil
epkgs.melpaPackages.evil-collection
epkgs.melpaPackages.use-package
# languages
epkgs.elpaPackages.ada-mode
epkgs.melpaPackages.adoc-mode
epkgs.melpaPackages.dockerfile-mode
epkgs.melpaPackages.haskell-mode
epkgs.melpaPackages.markdown-mode
epkgs.melpaPackages.nix-mode
epkgs.melpaPackages.sly
epkgs.melpaPackages.yaml-mode
epkgs.urweb-mode
# misc
epkgs.melpaPackages.hl-todo
epkgs.elpaPackages.rainbow-mode
epkgs.melpaPackages.rainbow-delimiters
# beyond text editing
epkgs.melpaPackages.elfeed
epkgs.melpaPackages.magit
epkgs.tvlPackages.tvl
]);
in
# sadly we can't give an init-file via the command line
pkgs.writeShellScriptBin "emacs" ''
exec ${emacs}/bin/emacs \
--no-init-file \
--directory ${./.} \
--eval "(require 'init)" \
"$@"
''

178
users/sterni/emacs/init.el Normal file
View file

@ -0,0 +1,178 @@
;; Set default font and fallback font via set-fontset-font
;; TODO(sterni): Investigate non-emoji representation of some glyphs
(let ((mono-font "Bitstream Vera Sans Mono-12")
(emoji-font "Noto Color Emoji-12"))
(setq default-frame-alist `((font . ,mono-font)))
(set-frame-font mono-font t t)
(set-fontset-font t nil emoji-font))
(setq inhibit-startup-message t
display-time-24hr-format t
select-enable-clipboard t)
;; Reload files
(global-auto-revert-mode 1)
;; Indent
(set-default 'indent-tabs-mode nil)
(setq tab-width 2)
;; UTF-8
(setq locale-coding-system 'utf-8)
(set-terminal-coding-system 'utf-8)
(set-keyboard-coding-system 'utf-8)
(set-selection-coding-system 'utf-8)
(prefer-coding-system 'utf-8)
;; Disable unnecessary GUI elements
(scroll-bar-mode 0)
(menu-bar-mode 0)
(tool-bar-mode 0)
(add-hook 'after-make-frame-functions
(lambda (frame) (scroll-bar-mode 0)))
;; don't center on cursor when scrooling
(setq scroll-conservatively 1)
;; type less
(defalias 'yes-or-no-p 'y-or-n-p)
;; Extra settings when graphical session
(when window-system
(setq frame-title-format '(buffer-file-name "%f" ("%b")))
(mouse-wheel-mode t)
(blink-cursor-mode -1))
;; TODO(sterni): prevent some remaining backup files
(setq auto-save-file-name-transforms
`((".*" ,temporary-file-directory t)))
(setq backup-directory-alist
`((".*" . ,temporary-file-directory)))
;; buffers
;; unique component should come first for better completion
(setq uniquify-buffer-name-style 'forward)
;; Display column numbers
(column-number-mode t)
(setq-default fill-column 80)
(setq display-fill-column-indicator-column t)
(add-hook 'prog-mode-hook #'display-fill-column-indicator-mode)
;; whitespace
(setq whitespace-style '(face trailing tabs)
whitespace-line-column fill-column)
(add-hook 'prog-mode-hook #'whitespace-mode)
;;; Configure built in modes
;; Perl
(setq perl-indent-level 2)
(setq perl-continued-statement-offset 0)
(setq perl-continued-brace-offset 0)
;;; Configure packages
(require 'use-package)
(package-initialize)
(use-package undo-tree
:config
(global-undo-tree-mode))
(use-package magit
:after evil
:config
; reset (buffer-local) fill-column value to emacs' default
; gerrit doesn't like 80 column commit messages…
(add-hook 'git-commit-mode-hook (lambda () (setq fill-column 72)))
(evil-define-key 'normal 'global (kbd "<leader>gr") 'magit-status))
(use-package tvl :after magit)
(setq ediff-split-window-function 'split-window-horizontally)
(use-package evil
:init
(setq evil-want-integration t)
(setq evil-want-keybinding nil)
(setq evil-shift-width 2)
(setq evil-split-window-below t)
(setq evil-split-window-right t)
(setq evil-undo-system 'undo-tree)
:config
(evil-mode 1)
(evil-set-leader 'normal ",") ;; TODO(sterni): space would be nice, but…
(evil-set-leader 'visual ",")
;; buffer management
(evil-define-key 'normal 'global (kbd "<leader>bk") 'kill-buffer)
(evil-define-key 'normal 'global (kbd "<leader>bb") 'switch-to-buffer)
;; window management
(evil-define-key 'normal 'global (kbd "<leader>wk") 'delete-window)
(evil-define-key 'normal 'global (kbd "<leader>wo") 'delete-other-window)
(evil-define-key 'normal 'global (kbd "<leader>wh") 'split-window-below)
(evil-define-key 'normal 'global (kbd "<leader>wv") 'split-window-right)
(evil-define-key 'normal 'global (kbd "<leader>ww") 'other-window)
;; emacs
(evil-define-key 'visual 'global (kbd "<leader>ee") 'eval-region)
(evil-define-key 'normal 'global (kbd "<leader>ee") 'eval-last-sexp)
(evil-define-key 'normal 'global (kbd "<leader>ep") 'eval-print-last-sexp)
(evil-define-key 'normal 'global (kbd "<leader>eh") 'help)
;; modify what is displayed
(evil-define-key 'normal 'global (kbd "<leader>dw")
(lambda ()
(interactive)
(whitespace-mode 'toggle)
(display-fill-column-indicator-mode 'toggle)))
;; elfeed bindings for evil (can't use-package elfeed apparently)
(evil-define-key 'normal 'global (kbd "<leader>ff") 'elfeed)
(evil-define-key '(normal visual) elfeed-search-mode-map
(kbd "o") 'elfeed-search-browse-url
(kbd "r") 'elfeed-search-untag-all-unread
(kbd "u") 'elfeed-search-tag-all-unread
(kbd "<leader>ff") 'elfeed-search-fetch
(kbd "<leader>fc") 'elfeed-db-compact
(kbd "<leader>fr") 'elfeed-search-update--force))
(use-package evil-collection
:after evil
:config
(evil-collection-init))
(use-package rainbow-delimiters
:hook (prog-mode . rainbow-delimiters-mode))
(use-package nix-mode :mode "\\.nix\\'")
(use-package nix-drv-mode :mode "\\.drv\\'")
(use-package haskell-mode)
(use-package urweb-mode)
(use-package yaml-mode)
(use-package dockerfile-mode)
(use-package sly
:after evil
:hook ((sly-mrepl-mode . (lambda () (rainbow-delimiters-mode-enable))))
:config
(evil-define-key 'normal sly-mrepl-mode-map (kbd "C-r") 'isearch-backward))
(use-package ada-mode)
(use-package rainbow-mode)
(use-package hl-todo
:hook ((prog-mode . hl-todo-mode))
:config
(setq hl-todo-keyword-faces
'(("TODO" . "#FF0000")
("FIXME" . "#FF0000")
("HACK" . "#7f7f7f")
("XXX" . "#aa0000"))))
(use-package markdown-mode
:commands (markdown-mode gfm-mode)
:mode (("\\.md\\'" . markdown-mode)))
(use-package adoc-mode
:mode (("\\.adoc\\'" . adoc-mode)))
(require 'subscriptions)
(provide 'init)

78
users/sterni/emacs/subscriptions.el Normal file
View file

@ -0,0 +1,78 @@
;;; elfeed subscriptions
(setq elfeed-feeds
`((,(with-temp-buffer
(insert-file-contents
(concat (getenv "HOME")
"/.config/secrets/github-private-atom"))
(buffer-string))
dashboard)
("https://repology.org/maintainer/sternenseemann%40systemli.org/feed-for-repo/nix_unstable/atom" dashboard releases)
("http://hundimbuero.blogspot.com/feeds/posts/default?alt=rss" blog cool-and-nice)
("gopher://text.causal.agency/0feed.atom" blog)
("http://xsteadfastx.org/feed/" blog cool-and-nice)
("https://hannes.robur.coop/atom" blog)
("https://stevelosh.com/rss.xml" blog)
("https://blog.benjojo.co.uk/rss.xml" blog)
("https://leahneukirchen.org/blog/index.atom" blog cool-and-nice)
("https://leahneukirchen.org/trivium/index.atom" blog links cool-and-nice)
("https://tazj.in/feed.atom" blog cool-and-nice)
("https://alyssa.is/feed.xml" blog cool-and-nice)
("https://eta.st/feed.xml" blog cool-and-nice)
("https://spectrum-os.org/git/www/atom/bibliography.html" links blog)
("https://rachelbythebay.com/w/atom.xml" blog)
("http://evrl.com/feed.xml" blog)
("https://vulns.xyz/feed.xml" blog)
("https://linuxrocks.online/@dnkl.rss" releases)
("https://www.german-foreign-policy.com/?type=9818" news)
("https://niedzejkob.p4.team/rss.xml" blog)
("https://grahamc.com/feed/" blog)
("https://michael.stapelberg.ch/feed.xml" blog)
("https://kazu-yamamoto.hatenablog.jp/feed" blog)
("https://bodil.lol/rss.xml" blog)
("http://blog.nullspace.io/feed.xml" blog)
("https://blog.kingcons.io/rss.xml" blog)
("http://jaspervdj.be/rss.xml" blog)
("https://christine.website/blog.rss" blog)
("https://drewdevault.com/feed.xml" blog)
("https://www.imperialviolet.org/iv-rss.xml" blog)
("https://latacora.micro.blog/feed.xml" blog)
("https://22gato.tumblr.com/rss" pictures cool-and-nice)
("https://theprofoundprogrammer.com/rss" blog)
("https://wiki.openlab-augsburg.de/_feed" openlab)
("http://shitopenlabsays.tumblr.com/rss" openlab)
("http://suckless.org/atom.xml" releases)
("https://kristaps.bsd.lv/lowdown/atom.xml" releases)
("https://www.tweag.io/rss.xml" blog)
("http://planet.haskell.org/atom.xml" planet blog)
("http://0pointer.net/blog/index.atom" blog)
("https://emacsninja.com/feed.atom" blog)
("https://emacshorrors.com/feed.atom" blog)
("http://therealmntmn.tumblr.com/rss" blog)
("http://blog.duangle.com/feeds/posts/default" blog)
("http://blog.johl.io/atom.xml" blog)
("http://blog.z3bra.org/rss/feed.xml" blog)
("http://ccc.de/de/rss/updates.xml" news)
;; ("http://fabienne.us/feed/" blog) ; database error
("http://feeds.feedburner.com/baschtcom" blog)
("http://ffaaaffaffaffaa.tumblr.com/rss" pictures)
("http://fnordig.de/feed.xml" blog)
("http://fotografiona.tumblr.com/rss" pictures)
("https://grandhotel-cosmopolis.org/de/feed" news)
("http://guteaussicht.org/rss" pictures)
("http://konvergenzfehler.de/feed/" blog)
("https://markuscisler.com/feed.xml" blog)
("http://n00bcore.de/feed/" podcast)
("http://spacethatneverwas.tumblr.com/rss" pictures)
("http://theresa.someserver.de/blog/?feed=rss2" blog)
("http://www.frumble.de/blog/feed/" blog)
("http://www.plomlompom.de/PlomRogue/plomwiki.php?action=Blog_Atom" blog)
("http://www.whvrt.de/rss" pictures)
("http://www.windytan.com/feeds/posts/default" blog)
("https://echtsuppe.wordpress.com/feed/" blog defunct)
("https://mgsloan.com/feed.xml" blog)
("https://notes.sterni.lv/atom.xml" me)
("http://arduina.net/feed/" defunct blog)
("https://anchor.fm/s/94bb000/podcast/rss" podcast)))
;; http://www.wollenzin.de/feed/ ;_;
(provide 'subscriptions)