tik0

#!/bin/bash
echo "Installing rsb"
# Folder where the repositories are cloned into
REP_FOLDER=~/repositoriesRSB
# Spread location of "spread-src-4.4.0.tar.gz" aka "spread 3.0"
SPREAD_FOLDER=~/Downloads
# Installing location
PREFIX=/usr
# Branch of the repositories
BRANCH=0.11

tik0

/*
Export bookmarks from Chrome as text.
Go to Bookmarks Manager->Organize->Export to HTML file. 
Then open that file with chrome, open console (Ctrl+Shift+J) and run this command:
*/

[].map.call(document.querySelectorAll("dt a"), function(a) {
   return a.textContent + " - " + a.href
}).join("\n");

tik0

#!/usr/bin/env python
# Author: Timo Korthals <tkorthals@cit-ec.uni-bielefeld.de>
# Template by https://gist.github.com/restrepo/4207109
# Function:
#  Convert a master latex file
#  into a single document by including hierarchically
#  automatically all the LaTeX documents 
#  which are arguments of 
#  \include, \input, or \import
#  ignoring any \includeonly