From 29df3e2b77085f2e397777732aa2fee5eaa1b6ba Mon Sep 17 00:00:00 2001 From: Gurkirat Singh Date: Tue, 4 May 2021 23:39:46 +0530 Subject: [PATCH] fixed linting errors --- plugins/available/git.plugin.bash | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/plugins/available/git.plugin.bash b/plugins/available/git.plugin.bash index 04e617cd..a690be4b 100644 --- a/plugins/available/git.plugin.bash +++ b/plugins/available/git.plugin.bash @@ -41,9 +41,11 @@ function git_restore_file() { about 'restore the deleted file from HEAD' group 'git' - [ -z $1 ] && return 1 + [ -z "$1" ] && return 1 COMMIT=$(git rev-list -n 1 HEAD -- "$1") + + # shellcheck disable=SC2086 git checkout $COMMIT^ -- "$1" }