This file contains 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 sh | |
# | |
# author: Quentin Sabah | |
# modified: Danilo Dominguez Perez | |
# | |
deploy_dir=$PWD | |
jasmin_repo=http://github.com/Sable/jasmin.git | |
jasmin_branch=develop |
This file contains 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/python | |
import os | |
import sys | |
from bs4 import BeautifulSoup | |
from urllib2 import urlopen | |
import cgi | |
import csv | |
def fromurltoname(url): |
This file contains 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
# Add the remote, call it "upstream": | |
git remote add upstream https://github.com/whoever/whatever.git | |
# Fetch all the branches of that remote into remote-tracking branches, | |
# such as upstream/master: | |
git fetch upstream | |
# Make sure that you're on your master branch: |
This file contains 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 | |
set -euo pipefail | |
I1FS=$'\n\t' | |
mkdir -p /tmp/adodefont | |
cd /tmp/adodefont | |
wget -q --show-progress -O source-code-pro.zip https://github.com/adobe-fonts/source-code-pro/archive/2.030R-ro/1.050R-it.zip | |
unzip -q source-code-pro.zip -d source-code-pro | |
mkdir -p ~/.fonts | |
cp -v source-code-pro/*/OTF/*.otf ~/.fonts/ | |
fc-cache -f |
This file contains 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
PackManager.v().getPack("jtp").add( | |
new Transform("jtp.methodinstrumenter", new BodyTransformer() { | |
@Override | |
protected void internalTransform(Body body, String arg1, | |
Map<String, String> arg2) { | |
// this method runs for all the methods in the app under analysis | |
UnitGraph g = new ExceptionalUnitGraph(body); | |
// unit graph is a statement based control flow graph | |
} |
OlderNewer