by Angel Leon. March 17, 2015;
Last update on December 14, 2023
Updated on February 27, 2023
Updated August 29, 2019.
SUBDIRS = src doc whatever | |
.PHONY: all clean | |
all clean: | |
for dir in $(SUBDIRS); do \ | |
$(MAKE) -C $$dir -f Makefile $@; \ | |
done |
#!/bin/bash | |
# Sometimes you need to move your existing git repository | |
# to a new remote repository (/new remote origin). | |
# Here are a simple and quick steps that does exactly this. | |
# | |
# Let's assume we call "old repo" the repository you wish | |
# to move, and "new repo" the one you wish to move to. | |
# | |
### Step 1. Make sure you have a local copy of all "old repo" | |
### branches and tags. |
As configured in my dotfiles.
start new:
tmux
start new with session name:
Movies Recommendation:
Music Recommendation:
#!/usr/bin/env python2.6 | |
# encoding: utf-8 | |
import sys | |
import sqlite3 | |
from collections import namedtuple | |
conn = sqlite3.connect("wnjpn-0.9.db") | |
Word = namedtuple('Word', 'wordid lang lemma pron pos') | |