I hereby claim:
- I am adrianwebb on github.
- I am adrianwebb (https://keybase.io/adrianwebb) on keybase.
- I have a public key whose fingerprint is 4AE6 5647 66E4 F38D CB34 BD52 8B26 3D21 20BD 5AFB
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
#!/bin/bash | |
# Must be run as root | |
# Install ElectricSheep dependencies | |
apt-get install subversion autoconf libtool libgtk2.0-dev libgl1-mesa-dev libavcodec-dev libavformat-dev libswscale-dev liblua5.1-0-dev libcurl4-openssl-dev libxml2-dev libjpeg8-dev libgtop2-dev libboost-dev libboost-filesystem-dev libboost-thread-dev libtinyxml-dev freeglut3-dev glee-dev | |
# Install WxWidgets | |
apt-key adv --fetch-keys http://repos.codelite.org/CodeLite.asc | |
apt-add-repository 'deb http://repos.codelite.org/wx3.0.2/ubuntu/ trusty universe' |
#!/bin/bash | |
curr_dir=`pwd` | |
for dir in $(find $curr_dir -type d) | |
do | |
if [ -d "${dir}/.git" ] | |
then | |
echo "Checking Git repo: ${dir}" | |
cd $dir |
// | |
// Global properties (mm) | |
// | |
part_height = 3; | |
ring_outer_diameter = 13; | |
ring_inner_diameter = 7; | |
connector_bridge_length = 89; |
// | |
// Global properties (mm) | |
// | |
part_height = 3; | |
ring_outer_diameter = 13; | |
ring_inner_diameter = 7; | |
connector_bridge_length = 38; |
#!/bin/bash | |
current_dir=`pwd` | |
gem_dir="$current_dir/gems" | |
gem_files=() | |
index=1 | |
echo "Gathering gem repositories from $gem_dir" | |
for file in "$gem_dir"/* |
#!/bin/bash | |
vagrant_home_dir="$HOME/.vagrant.d" | |
/usr/bin/env ruby <<-EORUBY | |
require 'json' | |
require 'fileutils' | |
puts 'Loading current Vagrant plugin data' | |
plugin_data = JSON.parse(File.read("$vagrant_home_dir/plugins.json")) |
rsync -avz --exclude "{DIR}" -e "ssh -i {PRIV_KEY} -p {PORT}" {LOCAL_DIR}/ {USER}@{IP}:{REMOTE_DIR}/ |
<?xml version="1.0" encoding="UTF-8"?> | |
<opml version="1.0"> | |
<head> | |
<text/> | |
</head> | |
<body> | |
<outline isOpen="false" id="1717402843" text="Environment"> | |
<outline title="Weather - Google News" useCustomFetchInterval="true" version="RSS" useNotification="true" maxArticleAge="60" description="Google News" htmlUrl="http://news.google.com/news?pz=1&ned=us&hl=en" xmlUrl="https://news.google.com/news/feeds?pz=1&cf=all&ned=us&hl=en&csid=b41a655d9b7f7fa0&output=rss" fetchInterval="15" loadLinkedWebsite="true" type="rss" id="765362081" archiveMode="keepAllArticles" maxArticleNumber="1000" text="Weather - Google News"/> | |
</outline> | |
<outline isOpen="false" id="1965544465" text="Education"> |
# Source: http://stackoverflow.com/questions/5377960/whats-the-best-practice-to-git-clone-into-an-existing-folder | |
git init | |
git remote add origin $repo_url | |
git fetch origin | |
git checkout -b $branch --track origin/$branch | |
git reset origin/$branch |