diff --git a/tools/env.sh b/tools/env.sh
new file mode 100755
index 0000000..add13f1
--- /dev/null
+++ b/tools/env.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+export CVSROOT=":ext:glproj03@in3sun13.epfl.ch:/home/ajaggi/cvsroot"