gedit git plugin crashes on local git repository
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gedit-plugins (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
I get the following output in console:
dmig@dmig-
Traceback (most recent call last):
File "/usr/lib/
repo = self.__
KeyError: 'file:/
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/usr/lib/
repo = self.get_
File "/usr/lib/
return self.app_
File "/usr/lib/
head = repo.get_head()
gi.repository.
The reason is simple ~/workspace/
ProblemType: Bug
DistroRelease: Ubuntu 18.10
Package: gedit-plugin-git 3.30.1-2
Uname: Linux 4.19.2-
ApportVersion: 2.20.10-0ubuntu13.1
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Sun Nov 18 12:18:27 2018
InstallationDate: Installed on 2018-03-27 (235 days ago)
InstallationMedia: Ubuntu 18.04 LTS "Bionic Beaver" - Alpha amd64 (20180327)
SourcePackage: gedit-plugins
UpgradeStatus: Upgraded to cosmic on 2018-10-19 (29 days ago)
Status changed to 'Confirmed' because the bug affects multiple users.