Nicolas Pouillard np

I hereby claim:

I am np on github.
I am np (https://keybase.io/np) on keybase.
I have a public key whose fingerprint is 326B FF50 7855 62A4 AC88 55CF 8826 FA56 57EF 6CA0

To claim this, I am signing this object:

	#!/usr/bin/ruby
	require 'json'

	JSON.load(`namecoind name_list`).each do \|domain\|
	if domain['expires_in'] < 5000
	command = "namecoind name_update '#{domain['name']}' '#{domain['value']}'"
	puts command
	puts `#{command}`
	end
	end

	# link() @ https://gist.github.com/np/3181899#file-link-sh {{{
	# Dependencies:
	# error() @ https://gist.github.com/np/3736727#file-error-sh
	# Examples:
	# cd ~/configs
	# link .zshrc ~/.zshrc
	# link .vimrc ~/.vimrc
	link(){
	local dst="$1"
	local ldst="$1"

	# error() @ https://gist.github.com/np/3736727#file-error-sh {{{
	# Takes an exit code and a message, prints the message and then exits
	error(){
	local code="$1"
	shift
	echo "error: $@" >>/dev/stderr
	exit "$code"
	}
	# }}}

	# asking() @ https://gist.github.com/np/5107721#file-asking-sh {{{
	# Dependencies:
	# error() @ https://gist.github.com/np/3736727#file-error-sh
	# Options:
	# --default=no Makes No being the default (--default=yes is the default)
	# --no-slmenu Do no use slmenu even if available
	# Examples:
	# asking 'Something failed, do you still want to continue?'
	# asking --default=yes 'Next step?'
	asking(){

	#!/bin/bash

	# Walk-through (without changing the configuration):
	# $ mkdir ~/.agda-pkg
	# $ cd ~/.agda-pkg
	# $ mkdir github patchtag
	# $ darcs get --lazy http://www.cse.chalmers.se/~nad/repos/lib/ stdlib
	# $ mkdir github/crypto-agda
	# $ cd github/crypto-agda
	# $ git clone https://github.com/crypto-agda/agda-nplib

	{-
	import Data.Product
	module depsession2 (open Data.Product) (let _² = λ A → A × A) (x : Set ²) where
	y = _×_
	-}
	module depsession2 where

	open import Type hiding (★)
	open import Level.NP
	open import Function.NP

	# ensure_link() @ https://gist.github.com/np/9598621 {{{
	# Dependencies:
	# error() @ https://gist.github.com/3736727
	ensure_link(){
	local src="$1"
	local dst="$2"
	if [ -L "$src" ]; then
	# Check if the link is already as expected.
	[ $(readlink "$src") != "$dst" ] \|\| return 0
	rm "$src"

	# notbit GIT version
	# Contributor: [email protected]

	_gitname=notbit
	pkgname=notbit-git
	pkgver=r339.e7bd67e
	pkgrel=1
	pkgdesc="A minimal Bitmessage client"
	arch=('i686' 'x86_64')
	depends=('openssl')