dserodio

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified">
  <xs:element name="GSP">
    <xs:complexType>
      <xs:choice>
        <xs:sequence>
          <xs:element ref="TM"/>
          <xs:element ref="Q"/>
          <xs:element maxOccurs="unbounded" ref="PARAM"/>
          <xs:element minOccurs="0" ref="SEARCH_MODES"/>

dserodio

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure("2") do |config|

  config.vm.provider :virtualbox do |vb|
    vb.name = "ubuntu.local"
    vb.customize [ 'modifyvm', :id, '--memory', '512' ]
    vb.customize [ 'modifyvm', :id, '--cpus', '1' ]
  end

dserodio

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

dserodio

{ tail -n +1 -f file.log & } | sed -n '/Initialization finished/q'

dserodio

Keybase proof

I hereby claim:

• I am dserodio on github.
• I am dserodio (https://keybase.io/dserodio) on keybase.
• I have a public key whose fingerprint is CFB1 D267 024B 720A F4F5 27AB 6C51 A8CC BB58 BCC8

To claim this, I am signing this object:

dserodio

brew install zeromq pyqt
pip install ipython pyzmq pygments

dserodio

#!/bin/bash
#

# Copies certain kinds of known files and directories from a given Jenkins master directory
# into a git repo, removing any old ones, adds 'em, commits 'em, pushes 'em.
# 
set -ex

if [ $# -ne 2 ]; then
  echo usage: $0 root_dir jenkins_master

dserodio

#!/bin/bash

# Start/stop an EC2 instance to use as a ssh tunnel
# requires the aws package locally -- sudo apt-get install awscli
#
# usage: ./tunnel.sh start (spin up EC2 and create the tunnel)
#        ./tunnel.sh stop (terminate the EC2 instance to save money)
#        ./tunnel.sh resume (in case your tunnel is interrupted but the EC2 instance is still running)

# CHANGE THE PARAMETERS BELOW

dserodio

import logging

logging.basicConfig(level=logging.DEBUG,
                    format='%(asctime)s %(levelname)-.5s %(message)s')
logging.getLogger('requests').setLevel(logging.WARN)

dserodio

if [ -z $1 ]
then
    if [ "$OS" == "Darwin" ]
    then
        echo "Updating…"
        brew update
        echo "Upgrading…"
        brew upgrade
    else
        sudo apt-get update