dongkwan-kim

# for git
alias gitpintos="git clone [email protected]:todoaskit/pintos.git"

# for pinto settings
alias pintosrun="pintos -v --bochs -- -q run"

# indivisual test
result() {
  make
  echo ""

dongkwan-kim

#! /bin/bash
# make sure there's ./testresult directory
# For individual test: $ bash test.sh testdir/testname
# For whole test: $ bash test.sh

test_all() {
  for i in $(seq 1 10)
  do
    make clean > testresult/dummy.txt
    make > testresult/dummy.txt

dongkwan-kim

[uwsgi]

chdir           = /home/ubuntu/(.*)
module          = (.*).wsgi
home            = /home/ubuntu/env

master          = true
processes       = 10
socket          = /home/ubuntu/(.*)/(.*).sock

dongkwan-kim

upstream django {
    server unix:///home/(.*)/(.*).sock;
}

# configuration of the server
server {
    listen      80;
    listen      443 ssl;
    server_name (.*);
    charset     utf-8;

dongkwan-kim

wget https://github.com/google/googletest/archive/release-1.7.0.tar.gz
tar xf release-1.7.0.tar.gz
cd googletest-release-1.7.0
cmake .
make
cp -a include/gtest ../KENSv3/include
cp -a libgtest* ../KENSv3/lib
cd ..
rm release-1.7.0.tar.gz
rm -rf googletest-release-1.7.0/