mapio

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

  if ARGV[0] == 'up' || ARGV[0] == 'provision' || ARGV[0] == 'reload'
    if File.exists?( 'provision.sh' )
      $provisioning_script = File.open( 'provision.sh' ).read
      $stderr.puts( "Using 'provision.sh' for provisioning...\n" )
    else
      require 'net/http'
      $provisioning_script = Net::HTTP.get(URI('https://gist.githubusercontent.com/mapio/ef23edceb8a5709b87d0/raw/provision.sh'))
      $stderr.puts( "Downloaded gist #ef23edceb8a5709b87d0 for provisioning...\n" )

mapio

Given that I've spent a few hours to get it right, here is how I did it.

First install the required dependencies using Homebrew, by this I mean at least

brew install python libevent

Then upgrade setuptools with

curl https://bootstrap.pypa.io/ez_setup.py -o - | python

mapio

 # -*- coding: utf-8 -*-

import subprocess
from random import randint, choice

VOCI = "Alice", "Federica", "Luca", "Paola"
COMPIMENTI = "geniaccio", "sei un figo", "super", "che gallo"
OFFESE = "coglionazzo", "minchione", "cacchio dici"
OP = ( lambda a, b: a + b, "più"), ( lambda a, b: a - b, "meno" )

mapio

#!/bin/bash

dbg() {
	echo WORK
	hg -R work log --template '{node|short} {desc}\n'
	echo PUBLIC
	hg -R public log --template '{node|short} {desc}\n'
	echo CLEAN
	hg -R clean log --template '{node|short} {desc}\n'
}

mapio

# let's assume that we have an "original" repo and that we want to
# create a new "archvied" repo with a first release corresponding to what 
# happened in the original repo in revisions O:ARCHIVE, plus all the
# releases (ARCHIVE+1):tip in the original repo.

# first remove the cruft from the previous run

rm -rf original archived

# now create the "original" repository that will contain a 

mapio

========================================================================
   BYTE UNIX Benchmarks (Version 5.1.3)

   System: digitalocean: GNU/Linux
   OS: GNU/Linux -- 3.8.0-38-generic -- #56~precise1-Ubuntu SMP Thu Mar 13 16:22:48 UTC 2014
   Machine: x86_64 (x86_64)
   Language: en_US.utf8 (charmap="UTF-8", collate="UTF-8")
   CPU 0: QEMU Virtual CPU version 1.0 (4800.0 bogomips)
          x86-64, MMX, Physical Address Ext, SYSENTER/SYSEXIT, SYSCALL/SYSRET
   19:06:58 up 4 days, 15:52,  1 user,  load average: 0.62, 0.58, 0.31; runlevel 2

mapio

You just need two steps:

• install the Instagram for Chrome extension;

• put the script included in this gist in your path.

Invoking `instagram' from the shell will then do the trick.

mapio

#!/bin/bash

# see http://veithen.github.io/2014/11/16/sigterm-propagation.html

trap 'kill -TERM $PID' TERM INT

python -m SimpleHTTPServer & PID=$!
python -m webbrowser -t "http://127.0.0.1:8000/"

wait $PID

mapio

from functools import partial
from os import remove
from os.path import join

from flask import Flask
from flask.ext.admin import Admin, form
from flask.ext.admin.contrib.sqla import ModelView
from flask.ext.sqlalchemy import SQLAlchemy

from sqlalchemy.event import listens_for

mapio

# -*- coding: utf-8 -*-

# salva questo in un file "pippo.py" ed eseguilo da riga di comando con "python pippo.py"

# metti la tua tabella tra le triple virgolette

table = r"""
a & b & c & d \\
e & f & g & h \\
i & j & k & l