diff scripts/createdirectory.sh @ 88:626560624d55

added the simple script to create directories
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Mon, 06 Jun 2011 18:06:01 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/createdirectory.sh	Mon Jun 06 18:06:01 2011 -0400
@@ -0,0 +1,7 @@
+#!/bin/bash
+DIRECTORY=$1
+if [[ ! -d "${DIRECTORY}" && ! -L "${DIRECTORY}" ]] ; then
+    echo "creating directory ${DIRECTORY}"
+    mkdir "${DIRECTORY}"
+fi
+#if [[ -d "${DIRECTORY}" && ! -L "${DIRECTORY}" ]] ; then