style: Fix shell linter issues

esharifu · esharifu · commit 44d965fa552c · 2019-02-18T18:22:46.000+01:00
diff --git a/scripts/push-docs b/scripts/push-docs
@@ -2,7 +2,7 @@
 set -e
 
 enabled(){
-  if [ "$TRAVIS_BRANCH" != "master" ] || [ $TRAVIS_PULL_REQUEST != "false" ]; then
+  if [ "$TRAVIS_BRANCH" != "master" ] || [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
     return 1
   fi
 }

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@`
`2`	`2`	`set -e`
`3`	`3`
`4`	`4`	`enabled(){`
`5`		`- if [ "$TRAVIS_BRANCH" != "master" ] \|\| [ $TRAVIS_PULL_REQUEST != "false" ]; then`
	`5`	`+ if [ "$TRAVIS_BRANCH" != "master" ] \|\| [ "$TRAVIS_PULL_REQUEST" != "false" ]; then`
`6`	`6`	`return 1`
`7`	`7`	`fi`
`8`	`8`	`}`