From 5284daaa6433824e774162fcc0cc140f1c30d9c8 Mon Sep 17 00:00:00 2001 From: Owen Voke Date: Mon, 17 Jun 2019 15:51:57 +0100 Subject: [PATCH] git-check-ignore: add page (#3113) --- pages/common/git-check-ignore.md | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 pages/common/git-check-ignore.md diff --git a/pages/common/git-check-ignore.md b/pages/common/git-check-ignore.md new file mode 100644 index 000000000..dd90c41ff --- /dev/null +++ b/pages/common/git-check-ignore.md @@ -0,0 +1,24 @@ +# git check-ignore + +> Analyse and debug Git ignore / exclude (".gitignore") files. +> More information: . + +- Check whether a file or directory is ignored: + +`git check-ignore {{path/to/file_or_directory}}` + +- Check whether multiple files or directories are ignored: + +`git check-ignore {{path/to/file}} {{path/to/directory}}` + +- Use pathnames, one per line, from stdin: + +`git check-ignore --stdin < {{path/to/file_list}}` + +- Do not check the index (used to debug why paths were tracked and not ignored): + +`git check-ignore --no-index {{path/to/files_or_directories}}` + +- Include details about the matching pattern for each path: + +`git check-ignore --verbose {{path/to/files_or_directories}}`