EIC code displayed by LXR |
|
|
|
|||
File indexing completed on 2026-09-22 08:04:22
0001 #!/bin/sh 0002 set -eu 0003 0004 dirname="$1" 0005 if [ -d "${LOCAL_DATA_PATH}/${dirname}" ]; then 0006 echo "local data directory already exists" 0007 else 0008 mkdir -p "${LOCAL_DATA_PATH}/${dirname}" 0009 fi 0010 if [ -d "${dirname}" ]; then 0011 echo "link or directory exists in current directory" 0012 else 0013 ln -s "${LOCAL_DATA_PATH}/${dirname}" "${dirname}" 0014 fi
| [ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
|
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
|