mark-raymond

#!/bin/bash

if [ $# -ne 1 ]; then
  echo "Usage: $0 GITHUB_TOKEN" >&2
  exit 1
fi

TOKEN="$1"

ORIGIN="$(git remote get-url origin)"

mark-raymond

#!/bin/bash

ARGS=("$@")
LASTARG=
for i in "${!ARGS[@]}"; do
  ARG="${ARGS[$i]}"
  if [ "$LASTARG" = "-v" ] || [ "$LASTARG" = "--volume" ]; then
    if grep '^/[a-z]/' <<< "$ARG" > /dev/null; then
      ARGS[$i]="$(sed -e 's#^/\([a-z]\)/#/mnt/hgfs/\U\1/#' <<< "$ARG")"
    else

mark-raymond

#!/usr/bin/env bash

set -e

# names of latest versions of each package
export VERSION_PCRE=pcre-8.36
export VERSION_OPENSSL=openssl-1.0.2a
export VERSION_NGINX=nginx-1.8.0

# URLs to the source directories

mark-raymond

#!/usr/bin/python
# -*- coding: utf-8 -*-

import gtk

def delete_handler(menu, event):
  with open('log.txt', 'a') as file:
    file.write('delete_handler called\n')
  return True