Make quoted tilde message suggest $HOME instead.
This commit is contained in:
parent
aea0310a07
commit
8b8b48ef55
|
@ -1922,7 +1922,7 @@ prop_checkTildeInQuotes5 = verifyNot checkTildeInQuotes "echo '/~foo/cow'"
|
||||||
prop_checkTildeInQuotes6 = verifyNot checkTildeInQuotes "awk '$0 ~ /foo/'"
|
prop_checkTildeInQuotes6 = verifyNot checkTildeInQuotes "awk '$0 ~ /foo/'"
|
||||||
checkTildeInQuotes _ = check
|
checkTildeInQuotes _ = check
|
||||||
where
|
where
|
||||||
verify id ('~':'/':_) = warn id 2088 "Note that ~ does not expand in quotes."
|
verify id ('~':'/':_) = warn id 2088 "Tilde does not expand in quotes. Use $HOME."
|
||||||
verify _ _ = return ()
|
verify _ _ = return ()
|
||||||
check (T_NormalWord _ (T_SingleQuoted id str:_)) =
|
check (T_NormalWord _ (T_SingleQuoted id str:_)) =
|
||||||
verify id str
|
verify id str
|
||||||
|
|
Loading…
Reference in New Issue