Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 21:20:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add lint for [ instead of [[ in shells scripts

Browse source
This commit is contained in:
Aneesh Agrawal 2016-08-05 09:42:04 -04:00
parent 9231ca1c69
commit f07d8f188a
5 changed files with 17 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/tidy/servo_tidy_tests/shell_tidy.sh
View file

@ -8,3 +8,7 @@ set -o nounset
echo "hello world"
some_var=`echo "command substitution"`
another_var="$some_var"
if [ -z "${some_var}" ]; then
echo "should have used [["
fi
[ -z "${another_var}" ]