Skip to content

Instantly share code, notes, and snippets.

View rudaoshi's full-sized avatar

孙明明 rudaoshi

  • KnowledgeFrontier
View GitHub Profile
@rudaoshi
rudaoshi / install-vagrant-vbguest.sh
Last active December 20, 2015 13:08 — forked from lotreal/install-vagrant-vbguest.sh
解决中国局域网中 vagrant plugin install vagrant-vbguest 出错的问题
#!/usr/bin/env bash
GEMS=$(cat <<EOF
childprocess-0.5.8.gem
ffi-1.9.10.gem
little-plugger-1.1.4.gem
micromachine-1.1.0.gem
multi_json-1.11.1.gem
net-ssh-2.9.2.gem
rest-client-1.6.9.gem
@rudaoshi
rudaoshi / elements.json
Created July 4, 2016 13:40 — forked from MarchLiu/elements.json
Euclid's Elements relations. Each json item for each element.
{"name":"C.N.1","description":"Things which are equal to the same thing are also equal to one another.","references":[]}
{"name":"C.N.2","description":"If equals be added to equals, the wholes are equal.","references":[]}
{"name":"C.N.3","description":"If equals be subtracted from equals, the remainders are equal.","references":[]}
{"name":"C.N.4","description":"Things which coincide with one another are equal to one another.","references":[]}
{"name":"C.N.5","description":"The whole is greater than the part.","references":[]}
{"name":"Def.1.1","description":"A point is that which has no part.","references":[]}
{"name":"Def.1.10","description":"When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other is called a perpendicular to that on which it stands.","references":[]}
{"name":"Def.1.11","description":"An obtuse angle is an angle greater than a right angle.","references":[]}
{"name":"Def.1.12