kborling

;;; init.el --- My personal emacs config  -*- lexical-binding: t; -*-

;; Author: Kevin Borling <https://github.com/kborling>
;; Version: 1.1.0
;; Keywords: configuration
;; URL: https://gist.github.com/kborling/13f2300e60ae4878d5d96f5f4d041664
;; Homepage: https://gist.github.com/kborling/13f2300e60ae4878d5d96f5f4d041664
;; Package-Requires: ((emacs "28.1"))

;;; Commentary:

dysinger

# Basic Full-Disk Encrypted ZFS Thinkpad (w/ 512 sector SSD) booted from USB key

# EFI/BOOT:
#   export BOOT=/dev/disk/by-id/usb-SanDisk_Ultra_Fit_4C530001011030101042-0\:0
#   parted --script $BOOT -- \
#     mklabel gpt \
#     mkpart esp fat32 1MiB 512MiB \
#     mkpart primary 512MiB 100% \
#     set 1 boot on
#   mkfs.vfat -n BOOT $BOOT-part1

masaeedu

#!/usr/bin/env bash
set -Eeuxo pipefail

# Set up git
git init
gitignore haskell
echo '*.cabal' >> .gitignore

# Set up niv
niv init

dysinger

# MOVED HERE https://gist.github.com/dysinger/2a768db5b6e3b729ec898d7d4208add3

peti

This NixOS code ensures that the system provide version-specific $LOCALE_ARCHIVE environment variables to mitigate the effects of NixOS/nixpkgs#38991.

To deploy it, copy the file into your /etc/nixos folder using a file name like multi-glibc-locale-paths.nix. Then edit your configuration.nix file to contain the attribute:

imports = [ ./multi-glibc-locale-paths.nix ];

schar

import           Control.Applicative
import           Control.Monad
import           Data.List

data Atom = P | Q | R | Top
  deriving (Show, Eq, Enum)

type W = [Atom]
type C = [W]
type Upd m = m C -> m C

micrub

xmonad default key bindings

Action key bindings

Key binding	Action
mod - shift - slash	Run xmessage with a summary of the default keybindings (useful for beginners)
mod - shift - return	Launch terminal
mod - p	Launch dmenu
mod - shift - p	Launch gmrun

schar

% requires the booktabs package
\newcommand\semtower[2]{% a 2-level semantic tower
  \begin{tabular}[c]{@{\,}c@{\,}}
    \(#1\)
    \\
    \midrule
    \(#2\)
    \\
  \end{tabular}
}

ekmett

{-# language KindSignatures #-}
{-# language PolyKinds #-}
{-# language DataKinds #-}
{-# language TypeFamilies #-}
{-# language RankNTypes #-}
{-# language NoImplicitPrelude #-}
{-# language FlexibleContexts #-}
{-# language MultiParamTypeClasses #-}
{-# language GADTs #-}
{-# language ConstraintKinds #-}

pkazmierczak

{
    "AWSTemplateFormatVersion": "2010-09-09",
    "Description": "OpenVPN server template",
    "Mappings": {
        "AWSRegion2AMI": {
            "ap-northeast-1": {
                "AMI": "ami-5ea72b5e"
            },
            "ap-southeast-1": {
                "AMI": "ami-365c5764"