samthor

#!/bin/bash

heading() {
  # or "\e" on *nix
  HEAD="\033[96m\033[1m"
  DONE="\033[0m"
  echo -e "${HEAD}${1}${DONE}"
}

# 0) find local git repo, or fail now

dergachev

# taken from http://www.piware.de/2011/01/creating-an-https-server-in-python/
# generate server.xml with the following command:
#    openssl req -new -x509 -keyout server.pem -out server.pem -days 365 -nodes
# run as follows:
#    python simple-https-server.py
# then in your browser, visit:
#    https://localhost:4443

import BaseHTTPServer, SimpleHTTPServer
import ssl

nirenjan

#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>

#define XLIM 17
#define YLIM 9
#define ARSZ (XLIM * YLIM)

#define DEBUG 0