git plugin is ineffective when the user does not own the .git parent folder
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gedit-plugins (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
Environment:
- Ubuntu lunar 23.04 with gedit-plugin-git 44.1-2
- or Ubuntu mantic 23.10 with gedit-plugin-git 44.1-2
There is no issue when the user owns the parent folder where the .git folder is located.
Now, let's consider
However, when the following conditions are met, no modified lines are highlighted rendering the git plugin useless:
- the user has only group R/W access to the file to modify it
- the user has only group R/W access to the .git folder
- the user has only group R/W access to the parent folder where the .git folder is located
- the user does not own the parent folder where the .git folder is located
Furthermore, the following errors are logged in syslog:
Nov 7 14:57:23 hostname gedit[1176655]: Traceback (most recent call last):
Nov 7 14:57:23 hostname gedit[1176655]: File "/usr/lib/
Nov 7 14:57:23 hostname gedit[1176655]: repo = self.__
Nov 7 14:57:23 hostname gedit[1176655]: ~~~~~~~
Nov 7 14:57:23 hostname gedit[1176655]: KeyError: 'file:/
Nov 7 14:57:23 hostname gedit[1176655]: During handling of the above exception, another exception occurred:
Nov 7 14:57:23 hostname gedit[1176655]: Traceback (most recent call last):
Nov 7 14:57:23 hostname gedit[1176655]: File "/usr/lib/
Nov 7 14:57:23 hostname gedit[1176655]: repo = self.app_
Nov 7 14:57:23 hostname gedit[1176655]: ^^^^^^^
Nov 7 14:57:23 hostname gedit[1176655]: File "/usr/lib/
Nov 7 14:57:23 hostname gedit[1176655]: repo = Ggit.Repository
Nov 7 14:57:23 hostname gedit[1176655]: ^^^^^^^
Nov 7 14:57:23 hostname gedit[1176655]: gi.repository.
summary: |
- git plugin is ineffective when the user does not own the folder + git plugin is ineffective when the user does not own the git parent + folder |
summary: |
- git plugin is ineffective when the user does not own the git parent + git plugin is ineffective when the user does not own the .git parent folder |