Skip to content

Instantly share code, notes, and snippets.

@lee51
lee51 / rfc7231_timestamp.py
Created January 30, 2018 20:01
RFC 7231-compliant (HTTP-date) timestamp in Python
import time
from wsgiref.handlers import format_date_time
# now
print format_date_time(time.time())
# epoch seconds
print format_date_time(1514764800)
@lee51
lee51 / .tmux.conf
Created December 6, 2017 18:53
tmux configuration
set -g mouse on
bind -n WheelUpPane if-shell -F -t = "#{mouse_any_flag}" "send-keys -M" "if -Ft= '#{pane_in_mode}' 'send-keys -M' 'select-pane -t=; copy-mode -e; send-keys -M'"
bind -n WheelDownPane select-pane -t= \; send-keys -M
#!/bin/bash -eu
# Install dependencies (Red Hat)
ISSUE=$(head -1 /etc/issue | awk '{print $1}')
if [[ $(head -1 /etc/issue) =~ ^Ubuntu ]]; then
sudo apt-get install -y build-essential libevent-dev libncurses5-dev
else
sudo yum install -y gcc libevent-devel ncurses-devel
fi
TMPDIR=`mktemp -d`