From 984b477b92325cc75a0afcb645025d5aa423faa0 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Fri, 6 May 2022 15:28:15 +0300 Subject: [PATCH] Add GNU Emacs literate configuration --- .gitmodules | 3 ++ dotfiles | 1 + org/index.org | 31 +++++++++++--------- org/modus-operandi-theme.css | 10 +++---- org/style.css | 55 +++++++++--------------------------- 5 files changed, 40 insertions(+), 60 deletions(-) create mode 100644 .gitmodules create mode 160000 dotfiles diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..d3e2f45 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "dotfiles"] + path = dotfiles + url = https://git.sr.ht/~eshel/dotfiles diff --git a/dotfiles b/dotfiles new file mode 160000 index 0000000..ae3ca71 --- /dev/null +++ b/dotfiles @@ -0,0 +1 @@ +Subproject commit ae3ca71a40a31043d937e6d1b8dce0718375e9e1 diff --git a/org/index.org b/org/index.org index 2129a48..952a50f 100644 --- a/org/index.org +++ b/org/index.org @@ -1,12 +1,12 @@ #+TITLE: Eshel Yaron #+AUTHOR: Eshel Yaron -#+OPTIONS: ^:{} +#+OPTIONS: toc:nil ^:{} Welcome to [[./index.org][my website]], the one true source of reliable curated information about me and my activities. #+begin_src prolog ?- likes('Eshel', Stuff). - Stuff = 'logic ️programming'; + Stuff = 'logic programming'; Stuff = 'linguistics'; Stuff = 'cognition'; Stuff = 'functional programming'; @@ -21,6 +21,15 @@ Welcome to [[./index.org][my website]], the one true source of reliable curated :CUSTOM_ID: projects :END: +** [[https://git.sr.ht/~eshel/dotfiles][GNU Emacs literate configuration]] +:PROPERTIES: +:CUSTOM_ID: emacsconf +:END: + +My personal configuration for GNU Emacs, written in as a [[https://en.wikipedia.org/wiki/Literate_programming][Literate +Program]] with =Org-mode= and =Babel=. An online version is also +published as [[file:esy.org][an HTML webpage on this website]]. + ** [[https://github.com/eshelyaron/debug_adapter][SWI-Prolog Debug Adapter Protocol Server]] :PROPERTIES: :CUSTOM_ID: debug-adapter @@ -35,20 +44,16 @@ comfort of GNU Emacs (and other editors, as well). :CUSTOM_ID: eshellisp :END: -A simple [[https://git.sr.ht/~eshel/eshellisp][Lisp interpreter implemented in SWI-Prolog]]. +A [[https://git.sr.ht/~eshel/eshellisp][Scheme Lisp interpreter implemented in SWI-Prolog]]. #+begin_src sh - $ cat fib.eshellisp - (define fib (n) - (if (<= n 1) 0 (fib1 0 1 1 n))) - - (define fib1 (f1 f2 i to) - (if (<= to i) f2 (fib1 f2 (+ f1 f2) (+ i 1) to))) + $ cat scheme/repl.scm + (define repl () (write (eval (read))) (repl)) + (repl) - (fib 250) - $ time eshellisp fib.eshellisp - % 7896325826131730509282738943634332893686268675876375 - eshellisp fib.eshellisp 0.05s user 0.01s system 92% cpu 0.066 total + $ ./eshellisp scheme/repl.scm + % (cons (+ 1 2) 4) + % (3 . 4) #+end_src ** [[https://git.sr.ht/~eshel/flymake-swi-prolog][flymake-swi-prolog.el]] and [[https://git.sr.ht/~eshel/diagnostics.pl][diagnostics.pl]] diff --git a/org/modus-operandi-theme.css b/org/modus-operandi-theme.css index b7e2519..0f3ab0a 100644 --- a/org/modus-operandi-theme.css +++ b/org/modus-operandi-theme.css @@ -38,7 +38,7 @@ } .org-builtin { /* font-lock-builtin-face */ - color: #8f0075; + color: #f78fe7; } .org-button { /* button */ @@ -93,11 +93,11 @@ } .org-comment { /* font-lock-comment-face */ - color: #505050; + color: #a8a8a8; } .org-comment-delimiter { /* font-lock-comment-delimiter-face */ - color: #505050; + color: #a8a8a8; } .org-company-echo { } @@ -477,7 +477,7 @@ } .org-doc { /* font-lock-doc-face */ - color: #093060; + color: #b0d6f5; } .org-eldoc-highlight-function-argument { /* eldoc-highlight-function-argument */ @@ -1042,7 +1042,7 @@ } .org-keyword { /* font-lock-keyword-face */ - color: #f01b6b; + color: #b6a0ff; } .org-lazy-highlight { /* lazy-highlight */ diff --git a/org/style.css b/org/style.css index 46d1633..ab98155 100644 --- a/org/style.css +++ b/org/style.css @@ -2,52 +2,31 @@ /* Code block theme */ @import 'modus-operandi-theme.css'; -:root { - --color-scheme-background: white; - --color-scheme-text: black; - --color-scheme-secondary: #333; - --color-scheme-shadow: #eee; - -} - -/* Light Theme */ -@media (prefers-color-scheme: light) { - :root { - --color-scheme-background: white; - --color-scheme-text: black; - --color-scheme-secondary: #333; - --color-scheme-shadow: #eee; - } -} -/* Dark Theme */ -@media (prefers-color-scheme: dark) { - :root { - --color-scheme-background: #222; +:root { + --color-scheme-background: black; --color-scheme-text: white; --color-scheme-secondary: #eee; --color-scheme-shadow: #333; - } - - /* Make links readable */ - a:link { color: lightblue } - a:visited { color: lightblue } - a:hover { color: lightblue } } +a:link { color: lightblue } +a:visited { color: lightblue } +a:hover { color: lightblue } + body { margin-top: 0; margin-left: auto; margin-right: auto; padding-left: 1em; padding-right: 1em; - max-width: 48rem; + max-width: 52rem; color: var(--color-scheme-text); background: var(--color-scheme-background); } #content { - max-width: 46rem; + max-width: 50rem; margin-left: auto; margin-right: auto; } @@ -77,10 +56,6 @@ body { border-bottom: 1px dotted var(--color-scheme-secondary); } -nav { - margin-top: 1.4em; -} - #preamble a { text-transform: uppercase; border: 1px solid var(--color-scheme-secondary); @@ -89,12 +64,8 @@ nav { padding-right: 0.3em; } -nav a:link { color: var(--color-scheme-text); } -nav a:visited { color: var(--color-scheme-text); } -nav a:hover { - color: var(--color-scheme-background); - background: var(--color-scheme-text); -} +nav a:link { font-size: large; } +nav h2 { font-size: 2em; } figure { border: 2px solid var(--color-scheme-text); @@ -140,16 +111,16 @@ a, p, h1, h2, h3, h4, h5, h6 { } h1 { - font-size: 3em; + font-size: 2.5em; } h2 { - font-size: 2.5em; + font-size: 2em; margin-bottom: 0.2em; } h3 { - font-size: 1.7em; + font-size: 1.5em; margin-bottom: 0.2em; } -- 2.39.5