external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update fix_gitignore.sh

pull/6487/head
rajeshkt78 2022-11-10 15:31:55 +05:30 committed by GitHub
parent d5abcefc98
commit 7d75bbf734
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/fix_gitignore.sh
View File

@ -5,7 +5,7 @@ source ci/ci_helpers.sh
# Remove all the ignored files from git tree, and error out # Remove all the ignored files from git tree, and error out
# find all ignored files in git tree, and use quotation marks to prevent word splitting on filenames with spaces in them # find all ignored files in git tree, and use quotation marks to prevent word splitting on filenames with spaces in them
# NOTE: Option --cached is neeed to avoid a bug in git ls-files command. # NOTE: Option --cached is needed to avoid a bug in git ls-files command.
ignored_lines_in_git_tree=$(git ls-files --ignored --cached --exclude-standard | sed 's/.*/"&"/') ignored_lines_in_git_tree=$(git ls-files --ignored --cached --exclude-standard | sed 's/.*/"&"/')
if [[ -n $ignored_lines_in_git_tree ]] if [[ -n $ignored_lines_in_git_tree ]]