Merge branch 'readlink' of dn42/registry into master

This commit is contained in:
Xuu 2018-01-01 02:02:04 +00:00 committed by dn42 Git Service
commit 5b581e3974
4 changed files with 4 additions and 4 deletions

View file

@ -6,7 +6,7 @@ if [ "$#" -eq "0" ]
exit
fi
BASE="$(realpath "$0")"
BASE="$(readlink -f "$0" 2>/dev/null || python -c 'import os,sys;print(os.path.realpath(sys.argv[1]))' "$0")"
BASE="$(dirname "$BASE")"
cd "$BASE" || exit 1

View file

@ -7,7 +7,7 @@ if [ $# -eq 0 ]
exit
fi
BASE="$(realpath "$0")"
BASE="$(readlink -f "$0" 2>/dev/null || python -c 'import os,sys;print(os.path.realpath(sys.argv[1]))' "$0")"
BASE="$(dirname "$BASE")"
cd "$BASE" || exit 1

View file

@ -6,7 +6,7 @@ if [ "$#" -eq "0" ]
exit
fi
BASE="$(realpath "$0")"
BASE="$(readlink -f "$0" 2>/dev/null || python -c 'import os,sys;print(os.path.realpath(sys.argv[1]))' "$0")"
BASE="$(dirname "$BASE")"
grep -lr $1 $BASE/data/ | while read line; do utils/schema-check/dn42-schema.py fmt -i $line; done

View file

@ -6,7 +6,7 @@ if [ $# -eq 0 ]
exit
fi
BASE="$(realpath "$0")"
BASE="$(readlink -f "$0" 2>/dev/null || python -c 'import os,sys;print(os.path.realpath(sys.argv[1]))' "$0")"
BASE="$(dirname "$BASE")"
cd "$BASE" || exit 1