anarcat anarcat

anarcat / raw.hs

Last active December 22, 2015 16:59 — forked from mastensg/whereis2.py

	type RemoteName = String
	type FileName = String
	type Trusted = Bool
	type Present = Bool

	headerWhereis :: [(RemoteName, Trusted)] -> String
	headerWhereis remotes = (unlines $ zipWith format [0..] remotes) ++ (pipes (length remotes))
	where
	format n (name, trusted) = (pipes n) ++ "," ++ name ++ (trust trusted)
	pipes = flip replicate '\|'

anarcat / namespaces.diff

Last active January 13, 2016 19:17 — forked from kyv/namespaces.diff

patch for using namespaces with git-mediawiki

	From 147224cfe6143c44b16aec0bb6d6a506a6b96ced Mon Sep 17 00:00:00 2001
	From: Kevin <[email protected]>
	Date: Fri, 28 Aug 2015 15:53:37 -0500
	Subject: [PATCH] Add namespace support to git-mediawiki

	Signed-off-by: Kevin <[email protected]>
	---
	contrib/mw-to-git/git-remote-mediawiki.perl \| 34 +++++++++++++++++++++++++++--
	1 file changed, 32 insertions(+), 2 deletions(-)