Posts in category team

Easily push development code

This makes team-development easier, by pushing patches very quick between our repos. In your .bashrc, insert this code, and adapt $REPO to fit your needs : 

function push () {

	REPO="dev.licorn.org:/home/groups/licorn.wmi2"
	make darcs_record_prehook
	darcs wh -l

	echo -n "OK to record? ([additionnal record message] + [Enter] or Control-C to quit): "
	read -e MESSAGE

	if [ -n "${MESSAGE}" ]; then
		darcs rec -a -m "Work in progress `date '+%Y-%m-%d %H:%M:%S'` (${MESSAGE})."

	else
		darcs rec -a -m "Work in progress `date '+%Y-%m-%d %H:%M:%S'`.";

	fi

	echo -n "OK to push? ([Enter] or Control-C to abort): "
	read DUMMY

	darcs push -a ${REPO}

}