EgonSpengler

--[[

Last updated 2014/2/1 for my Awesome WM setup.

Uses wlourf's Rings and Box widgets

--JeSuisNerd

--]]

EgonSpengler

// tjadam, jawaterm
// 2014.3.18
// Group Assignment 1, parallel swapping

#define N 4;  // number of cells and swappers
byte A[4];
bool lock[4];
chan finished = [4] of {byte};
bool safe = true;

EgonSpengler

// tjadam, jawaterm
// 2014.3.26
// Group Assignment 3 - Play By Your Own Rules

int topcard[5];  // 0 through 3 for each player


proctype player(int i) {
	do
		:: atomic{

EgonSpengler

aooue

EgonSpengler

! ------ rxvt-unicode -------
! ---------------------------

URxvt.depth:        32
URxvt.background:   [94]#0F0F0F

URxvt.scrollstyle:  plain
URxvt.font:         xft:Bitstream Vera Sans Mono:antialias=true:pixelsize=13
URxvt.iconFile:     /usr/share/icons/Rodentia/small/apps/utilities-terminal.svg
URxvt.borderLess:   false 

EgonSpengler

Keybase proof

I hereby claim:

• I am EgonSpengler on github.
• I am egon (https://keybase.io/egon) on keybase.
• I have a public key whose fingerprint is 7CA6 7006 1828 E446 F131 83A2 AE64 7E6C 4266 7887

To claim this, I am signing this object:

EgonSpengler

red='\[\e[0;31m\]'
green='\[\e[0;32m\]'
yellow='\[\e[0;33m\]'
blue='\[\e[0;34m\]'
magenta='\[\e[1;35m\]'
cyan='\[\e[0;36m\]'
white='\[\e[0;m\]'

if [ `id -u` -eq "0" ]; then
	root=${red}

EgonSpengler

PS2="╾──╼ "

EgonSpengler

#!/bin/bash

echo -e "                this terminal is\n                        FABULOUS" | toilet -f small --gay

EgonSpengler

#!/bin/bash

sudo qemu-system-x86_64 \
-enable-kvm \
-m 4096 \
-name fedora18 \
-vga qxl \
-spice port=8884,addr=127.0.0.1,disable-ticketing \
-kernel /boot/vmlinuz-3.11.10-100.fc18.x86_64 \
-initrd /boot/initramfs-3.11.10-100.fc18.x86_64.img \