[Verifying my cryptographic key:openpgp4fpr:B5F85CECFFEA88B573AC9581C31D301C137ABA9A]
Christopher League league
league
/ openpgp.md
Created
November 18, 2022 16:46
league
/ *scratch*.el
Created
July 27, 2018 13:57
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; This buffer is for text that is not saved, and for Lisp evaluation. | |
| ;; To create a file, visit it with C-x C-f and enter text in its buffer. |
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
league
/ notmuch-config.el
Created
May 22, 2017 12:17
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defvar cl/message-pandoc-command | |
| (concat | |
| "pandoc --smart --template=email -r markdown_github -w html5" | |
| " | premailer --remove-classes")) | |
| (defun cl/message-multipart-pandoc-preview () | |
| "Preview message buffer rendered with pandoc and web browser." | |
| (interactive) | |
| (save-excursion | |
| (message-goto-body) |
league
/ gallery.html
Created
February 23, 2017 19:53
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html lang="en" xmlns="http://www.w3.org/1999/xhtml"> | |
| <head> | |
| <meta charset="utf-8" /> | |
| <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/css/bootstrap.min.css"> | |
| <title>La Gala</title> | |
| <style> | |
| #bodyTitle{ | |
| text-align:center; |
league
/ my-blog.html
Created
February 23, 2017 19:47
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html lang="en" xmlns="http://www.w3.org/1999/xhtml"> | |
| <head> | |
| <meta charset="utf-8" /> | |
| <title>My Blog</title> | |
| <style> | |
| .navbar { | |
| width: 100%; | |
| background: #8698ff; |
league
/ profile.html
Last active
February 23, 2017 19:38
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <html> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet"> | |
| <!-- this is your page's icon below--> | |
| <link rel="icon" href="http://orig01.deviantart.net/2dd9/f/2011/202/b/9/green_lantern_icon_3_by_jeremymallin-d417u4p.png"> | |
| <!-- Change your title below--> | |
| <title>Your website title</title> | |
| <style> |
league
/ minimal-start.html
Last active
February 23, 2017 04:14
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <html> | |
| <head> | |
| <style> | |
| body { | |
| margin: 0px auto; | |
| width: 70%; | |
| border-bottom: 3px solid #3de93d; | |
| } | |
| </style> | |
| </head> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE FlexibleInstances #-} | |
| lift2 op f g x = op (f x) (g x) | |
| instance Num a => Num (a -> a) where | |
| (+) = lift2 (+) | |
| (*) = lift2 (*) | |
| abs = (.) abs | |
| signum = (.) signum | |
| negate = (.) negate |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 09:33:45 : [Client 1] Started "/nix/store/5pwy8d9k4z6jp8n944nr8kf9lxihkg9w-cups-progs/lib/cups/cgi-bin/printers.cgi" (pid=7628, file=13) | |
| 09:33:45 : [Job ???] Request file type is application/vnd.cups-pdf-banner. | |
| 09:33:45 : Adding start banner page "none". | |
| 09:33:45 : Adding end banner page "none". | |
| 09:33:45 : File of type application/vnd.cups-pdf-banner queued by "anonymous". | |
| 09:33:45 : hold_until=0 | |
| 09:33:45 : Queued on "canon" by "anonymous". | |
| 09:33:45 : time-at-processing=1484922825 | |
| 09:33:45 : 4 filters for job: | |
| 09:33:45 : bannertopdf (application/vnd.cups-pdf-banner to application/pdf, cost 32) |
NewerOlder