- Abstract
- Current Infrastructure
- Motivation
- The
URLResolver
API- Interface
- Usage
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# Build a set of ASST4 OS/161 kernels | |
BUILD_ROOT="$(pwd)/build" | |
for DIR in repos/a4/*; do | |
pushd $DIR | |
# download code |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- mode: ruby -*- | |
Vagrant.configure("2") do |config| | |
# Ubuntu 14.04 | |
config.vm.box = "ubuntu/trusty64" | |
# sync host repository with ~/cs161/os161 on virtual machine | |
config.vm.synced_folder ".", "/home/vagrant/cs161/os161", :owner=> 'vagrant', :group=> 'vagrant' | |
# forward host SSH agent |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# | |
# This pre-commit hook builds A3 and then runs a bunch of tests against it. | |
# | |
# To use this script copy it to .git/hooks/pre-commit and make it executable. | |
set -e | |
pushd "$HOME/cs161/os161/kern/compile/ASST3" | |
bmake -j4 && bmake install -s |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- mode: ruby -*- | |
# vi: set ft=ruby : | |
Vagrant.configure("2") do |config| | |
config.vm.box = "ubuntu/trusty64" | |
config.vm.provider "virtualbox" do |vb| | |
vb.memory = "1024" | |
end |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# Submit programming assignment submissions to the MOSS plagiarism detection | |
# server. | |
if [ $BASH_VERSINFO -lt 4 ]; | |
then | |
echo "Expected bash 4.0.0 or later, found $BASH_VERSION" | |
exit 1 | |
fi |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
''' Script to scrape contact information from Harvard Student Organizations site | |
(http://osl.fas.harvard.edu/student-organizations). | |
Run with 'python /path/to/scraper'. | |
-- License -- | |
This program is free software: you can redistribute it and/or modify | |
it under the terms of the GNU General Public License as published by |