Skip to content

Commit

Permalink
lint fix, exclude vagrant from linting
Browse files Browse the repository at this point in the history
  • Loading branch information
mgree committed Jul 19, 2023
1 parent 3389fd1 commit 6610fdf
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 2 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,4 @@ test/results/
test/try_workspace/
*~
.vagrant/
.vagrant
2 changes: 1 addition & 1 deletion completions/try.bash
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ _try() {
(try)
opts="-n -y -v -h -i -D -U summary commit explore"
if [[ ${cur} == -* || ${COMP_CWORD} -eq 1 ]]
then
then
COMPREPLY=( $(compgen -W "${opts}" -- "${cur}") )
return 0
fi
Expand Down
2 changes: 1 addition & 1 deletion scripts/lint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ tabs() {

if [ "$#" -eq 0 ]
then
FILES=$(find . -type f -a \( \! -path "./.git/*" \) -a \! \( -name "*.png" -o -name "*.gif" -o -name "*.gz" \))
FILES=$(find . -type f -a \( \! -path "./.git/*" \) -a \( \! -path "./.vagrant/*" \) -a \! \( -name "*.png" -o -name "*.gif" -o -name "*.gz" \))
else
# shellcheck disable=SC2124
FILES="$@"
Expand Down

0 comments on commit 6610fdf

Please sign in to comment.