Skip to content

Instantly share code, notes, and snippets.

View Demonstrandum's full-sized avatar
🏫
Studying

S Knutsen Demonstrandum

🏫
Studying
  • University of Nottingham
  • Britanniarum Regnum
  • 10:29 (UTC +01:00)
View GitHub Profile
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>AlternateMouseScroll</key>
<true/>
<key>AppleAntiAliasingThreshold</key>
<integer>1</integer>
<key>AppleScrollAnimationEnabled</key>
<integer>0</integer>
@Demonstrandum
Demonstrandum / .hyper.js
Created August 22, 2017 17:46
Hyper conf
// Future versions of Hyper may add additional config options,
// which will not automatically be merged into this file.
// See https://hyper.is#cfg for all currently supported options.
module.exports = {
config: {
// default font size in pixels for all tabs
fontSize: 14,
// font family with optional fallbacks
@Demonstrandum
Demonstrandum / .bashrc
Created August 22, 2017 17:49
Minimal bashrc
. /etc/bashrc
PS1='\[\033[38;5;250m\]\w\[\033[0m\] λ '
. ~/.functions
. ~/.aliases
. ~/.profile
PATH=/usr/local/bin:/usr/bin:$PATH
@Demonstrandum
Demonstrandum / .vimrc
Last active August 22, 2017 19:08
Vim rc w. vundle
set nocompatible
filetype off " required
" set the runtime path to include Vundle and initialize
set rtp+=~/.vim/bundle/Vundle.vim
call vundle#begin()
" alternatively, pass a path where Vundle should install plugins
"call vundle#begin('~/some/path/here')
" let Vundle manage Vundle, required
@Demonstrandum
Demonstrandum / pull-repos.sh
Last active September 9, 2017 21:08
Pull all your git repos to update them all
#!/bin/bash
ORIGIN=$(pwd)
REPOROOT="$1"
if [ -z "$1" ]; then
REPOROOT="$HOME/Git"
if ! [ -d "$REPOROOT" ]; then
REPOROOT="$HOME/git"
fi
if ! [ -d "$REPOROOT" ]; then
@Demonstrandum
Demonstrandum / area_trainer.py
Created September 28, 2017 11:09
area_trainer.py
import cPickle as pickle
import time, sys, random
def save_users(file, dic):
# Save users
with open(file, 'wb') as file:
pickle.dump(dic, file)
data_file = 'login_data.p'
login_data = {}
@Demonstrandum
Demonstrandum / clone-all.rb
Last active October 3, 2017 19:11
Clone all GitHub Repos
#!/usr/bin/env ruby
require 'net/http'
require 'uri'
require 'json'
raise ArgumentError, 'Expected at least 1 CLI argument!' if ARGV.empty?
root = user = String.new
%w{ git Git GitHub github repos }.each do |folder|
@Demonstrandum
Demonstrandum / .Xresorces
Last active October 3, 2017 20:29
termite colour schemes
Xft.dpi: 96
Xft.antialias: true
Xft.hinting: true
Xft.rgba: rgb
Xft.autohint: true
Xft.hintstyle: hintfull
Xft.lcdfilter: lcddefault
*foreground: #25232A
@Demonstrandum
Demonstrandum / compton.conf
Created October 3, 2017 21:14
compton conf
#################################
#
# Backend
#
#################################
# Backend to use: "xrender" or "glx".
# GLX backend is typically much faster but depends on a sane driver.
backend = "glx";
# An example configuration file for MPD.
# Read the user manual for documentation: http://www.musicpd.org/doc/user/
# Files and directories #######################################################
#
# This setting controls the top directory which MPD will search to discover the
# available audio files and add them to the daemon's online database. This
# setting defaults to the XDG directory, otherwise the music directory will be
# be disabled and audio files will only be accepted over ipc socket (using