- Clone the
scuttlebot
source from GitHub. cd
into the source directory and runnode2nix
.- Create a new file in the source directory
override.nix
with the following contents:{pkgs ? import <nixpkgs> { inherit system; }, system ? builtins.currentSystem}:
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
--- a/config.def.h 2018-03-20 21:29:59.000000000 +0100 | |
+++ b/config.def.h 2018-09-14 22:58:13.142135461 +0200 | |
@@ -5,8 +5,8 @@ | |
* | |
* font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html | |
*/ | |
-static char *font = "Liberation Mono:pixelsize=12:antialias=true:autohint=true"; | |
-static int borderpx = 2; | |
+static char *font = "Input Mono:pixelsize=11:antialias=true:autohint=true"; | |
+static int borderpx = 4; |
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
with import <nixpkgs> {}; | |
let src = fetchFromGitHub { | |
owner = "mozilla"; | |
repo = "nixpkgs-mozilla"; | |
# commit from: 2018-03-27 | |
rev = "136eacc0ceefa8fb44677799e5639e083606ee5d"; | |
sha256 = "04bz093x3zjkzp7ba8mh876a1a34kp3jrys87m79gbln5qvcd2ir"; | |
# date = 2018-09-06T17:09:51+02:00; | |
}; | |
myrust = (latest.rustChannels.stable.rust.override { extensions = [ "rust-src" ]; }); |
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
# Latest Nightly | |
with import <nixos> {}; | |
let src = fetchFromGitHub { | |
owner = "mozilla"; | |
repo = "nixpkgs-mozilla"; | |
rev = "136eacc0ceefa8fb44677799e5639e083606ee5d"; | |
sha256 = "04bz093x3zjkzp7ba8mh876a1a34kp3jrys87m79gbln5qvcd2ir"; | |
# date = 2018-09-06T17:09:51+02:00; | |
}; | |
in |
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
;;; config.el -*- lexical-binding: t; -*- | |
(setq user-mail-address "patrick.d.elliott@gmail.com" | |
user-full-name "Patrick Elliott") | |
;; disables immediate spellchecking in a latex buffer | |
(setq-hook! 'LaTeX-mode-hook +spellcheck-immediately nil) | |
(set! :latex-bibtex-file "/home/patrl/GitHub/bibliography/elliott_mybib.bib") | |
(set! :latex-bibtex-pdfs-dir "/home/patrl/Dropbox/Library") |
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
(setq user-mail-address "patrick.d.elliott@gmail.com" | |
user-full-name "Patrick Elliott") | |
(doom! :feature | |
;debugger ; FIXME stepping through code, to help you add bugs | |
eval ; run code, run (also, repls) | |
(evil +everywhere); come to the dark side, we have cookies | |
file-templates ; auto-snippets for empty files | |
;(lookup ; helps you navigate your code and documentation | |
;+devdocs ; ...on devdocs.io online |
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
module Juncts where | |
import Data.Function | |
-- the model | |
type T = Bool | |
data Ent = Tom | Dick | Harry deriving (Eq, Show) |
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
#! /usr/bin/env nix-shell | |
#! nix-shell -i bash -p bash ghostscript | |
for ARG in "$@" | |
do | |
gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=out.pdf $ARG | |
done |
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
{config, pkgs, ... }: | |
{ | |
networking.wireguard.interfaces = { | |
wg0 = { | |
ips = [ $ADDR1 ]; | |
peers = [ { | |
allowedIPs = [ $ADDR2 ]; | |
endpoint = $ADDR3; | |
publicKey = $KEY1; |
Getting stack to build my Hakyll sites on NixOS turned out to be non-trivial. Include the following files in the project directory.