From 0319a5ee5df43a07830eb85698a58307948721f7 Mon Sep 17 00:00:00 2001
From: Martin Diehl <m.diehl@mpie.de>
Date: Wed, 25 Jan 2017 07:56:26 +0100
Subject: [PATCH] nice also for zsh users

---
 DAMASK_env.zsh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/DAMASK_env.zsh b/DAMASK_env.zsh
index 557397630..dbb781894 100644
--- a/DAMASK_env.zsh
+++ b/DAMASK_env.zsh
@@ -3,6 +3,9 @@
 
 DAMASK_ROOT=${0:a:h}
 
+# shorthand command to change to DAMASK_ROOT directory
+eval "function damask() { cd $DAMASK_ROOT; }"
+
 # defining set() allows to source the same file for tcsh and zsh, with and without space around =
 set() {
     export $1$2$3