I hereby claim:
- I am johnbender on github.
- I am johnbender (https://keybase.io/johnbender) on keybase.
- I have a public key whose fingerprint is 61FA 972A F856 C432 2573 D4AD C9B0 1EF5 DE6A 1098
To claim this, I am signing this object:
// Disable bold. | |
term_.prefs_.set('enable-bold', false) | |
// Use this for Solarized Dark | |
term_.prefs_.set('background-color', "#002b36"); | |
term_.prefs_.set('foreground-color', "#839496"); | |
term_.prefs_.set('color-palette-overrides', [ | |
'#073642', | |
'#dc322f', |
const net = require('net'); | |
const EventEmitter = require('events'); | |
class AsyncServer extends EventEmitter { | |
constructor(options){ | |
super(); | |
this._connections = []; | |
this._server = new net.Server(); | |
this._options = options; | |
} |
class AsyncLineStream { | |
constructor(stream){ | |
this._lines = []; | |
this._readline = require('readline').createInterface({ | |
input: stream | |
}); | |
this._updateReadLinePromise(); | |
} |
var x = 1; function(){ return x } |
(* | |
The error while running `make` is: | |
File "./LibTactics.v", line 3238, characters 17-18: | |
Syntax error: ')' expected after [constr:lconstr] (in [tactic:tactic_arg]). | |
The fix to line 3238 is below. | |
*) | |
Ltac branch_tactic K N := (* Line 3237 *) |
I hereby claim:
To claim this, I am signing this object:
# -*- mode: ruby -*- | |
# vi: set ft=ruby : | |
# Vagrantfile API/syntax version. Don't touch unless you know what you're doing! | |
VAGRANTFILE_API_VERSION = "2" | |
Vagrant.configure(VAGRANTFILE_API_VERSION) do |config| | |
config.vm.box = "precise64" | |
config.vm.provision(:shell, :inline => <<-CMD) |
replace=foo | |
replace_with=bar.txt | |
replace_in=baz.txt | |
sed -i.bkp "/$replace/{ | |
s/$replace//g | |
r $replace_with | |
}" $replace_in |
800m Run/Row | |
3 Rounds: | |
12 KB Swings | |
10 No Push-up Burpee | |
800m Run/Row | |
3 Rounds: | |
5 Pull-ups |