Bug 436127 - jgit show consult $HOME/.config/git/ignore for evaluating ignored files
Summary: jgit show consult $HOME/.config/git/ignore for evaluating ignored files
Status: RESOLVED FIXED
Alias: None
Product: JGit
Classification: Technology
Component: JGit (show other bugs)
Version: 3.3.2   Edit
Hardware: All All
: P3 enhancement with 2 votes (vote)
Target Milestone: 6.7   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
: 451878 (view as bug list)
Depends on: 430194
Blocks:
  Show dependency tree
 
Reported: 2014-05-28 17:19 EDT by Amit Dor-Shifer CLA
Modified: 2023-06-19 11:38 EDT (History)
7 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Amit Dor-Shifer CLA 2014-05-28 17:19:45 EDT 
This is as per the gitignore manpage, and from my experience - how git functions.

However, doesn't seem egit is reading this file, which leaves a user with an undesired workaround or maintaining a  per-project .gitignore file.
Comment 1 Robin Stocker CLA 2014-11-22 10:29:55 EST 
*** Bug 451878 has been marked as a duplicate of this bug. ***
Comment 2 Robin Stocker CLA 2014-11-22 10:32:36 EST 
This depends on JGit bug 430194 for checking $XDG_CONFIG_HOME.
Comment 3 Markus Keller CLA 2016-09-27 08:37:15 EDT 
Bug 430194 is not a prerequisite for this bug. Supporting $HOME/.config/git/ignore would be helpful even without full support for $XDG_CONFIG_HOME.
Comment 4 Markus Keller CLA 2016-09-27 08:53:48 EDT 
A workaround for this EGit bug is the following (redundant for command-line git):

$ git config --global core.excludesfile '~/.config/git/ignore'
Comment 5 Matthias Sohn CLA 2023-06-19 11:35:48 EDT 
https://git.eclipse.org/r/c/jgit/jgit/+/202560 was merged as faefa90f990858db7bec199501cb37f2631c43d0