Remove unnecessary escaping in tilde expansion (#962)

This commit is contained in:
Kohei Murakami
2020-03-11 23:22:06 +09:00
committed by GitHub
parent e32a9c3767
commit ed9d66c2a6

View File

@@ -17,7 +17,7 @@ if [[ $1 =~ ^[A-Z]:\\ ]]; then
CENTER=${INPUT[2]} CENTER=${INPUT[2]}
fi fi
FILE="${FILE/#\~\//$HOME\/}" FILE="${FILE/#\~\//$HOME/}"
if [ ! -r "$FILE" ]; then if [ ! -r "$FILE" ]; then
echo "File not found ${FILE}" echo "File not found ${FILE}"
exit 1 exit 1