agam

#INPUT_FILE=/Users/abrahma/tmp/missing.properties
#OUTPUT_FILE=/Users/abrahma/tmp/output1.properties
#EXISTING_FILE=/Users/abrahma/tmp/existing.properties
EXISTING_FILE=/Users/abrahma/tmp/spaces.properties
OUTPUT_FILE=/Users/abrahma/tmp/output.properties
KEY="^\s*rest.extension.classes"
NEWVAL="io.confluent.connect.replicator.monitoring.ReplicatorMonitoringExtension"

agam

alias e="emacsclient --no-wait --socket-name=/Users/abrahma/.emacs.d/server/server"

# Previous errors about `-error Unknown&_command:` were fixed after upgrading emacsclient to match the Emacs version
# `brew cask install emacsclient` and `brew cask install emacs' worked for me.

agam

# Note: this was on Ubuntu 18.04

## We don't need no gui on the terminal
$ sudo apt-get install emacs25-nox

## All spacemacs requires is your `.emacs` preferences ...
$ git clone https://github.com/syl20bnr/spacemacs ~/.emacs.d

## Run emacs, select the defaults, you're good to go!

agam

$ sudo iptables -I INPUT 1 -p udp --dport 60000:61000 -j ACCEPT

agam

# Add this to the end of ~/.zshrc:
source $(nix-env --query fzf --out-path | sed 's/.*bin=\(.*\);.*/\1/g' | awk '{print $1"/share/fzf/key-bindings.zsh"}')

agam

function nix-haskell() {
  pkgs=$@
  echo "Starting haskell shell, pkgs = $pkgs"
  nix-shell -p "haskellPackages.ghcWithPackages (pkgs: with pkgs; [$pkgs])"
}

agam

(defn get-vars
  [n]
   (map #(ns-resolve n %1) (clojure.repl/dir-fn n)))

(defn show-doc
  [v]
  (vector (:name (meta v))
          (:doc (meta v))))

(defn get-docs

agam

(defn info
  "Show `type` and `class` of an object"
  [x]
  (println x ": type(" (type x) "), class(" (class x) ")"))

agam

module Dummy where

-- Initial definition

data N : Set where
  zero : N
  suc  : N -> N


-- Allow us to use shorthand

agam

module Dummy where

-- Initial definition

data N : Set where
  zero : N
  suc  : N -> N


-- Allow us to use shorthand