Closed 0xlynett closed 1 month ago
Distribution (run cat /etc/os-release):
cat /etc/os-release
NAME="Pop!_OS" VERSION="22.04 LTS" ID=pop ID_LIKE="ubuntu debian" PRETTY_NAME="Pop!_OS 22.04 LTS" VERSION_ID="22.04" HOME_URL="https://pop.system76.com" SUPPORT_URL="https://support.system76.com" BUG_REPORT_URL="https://github.com/pop-os/pop/issues" PRIVACY_POLICY_URL="https://system76.com/privacy" VERSION_CODENAME=jammy UBUNTU_CODENAME=jammy LOGO=distributor-logo-pop-os
Related Application and/or Package Version (run apt policy $PACKAGE NAME):
apt policy $PACKAGE NAME
gedit: Installed: 41.0-3 Candidate: 41.0-3 Version table: *** 41.0-3 500 500 http://apt.pop-os.org/ubuntu jammy/main amd64 Packages 100 /var/lib/dpkg/status
Issue/Bug Description:
gedit segfaults when trying to save a new file.
Steps to reproduce (if you know):
Expected behavior:
It opens the save file dialog.
Other Notes:
Possibly related to #3258. The machine spirits do not like me.
GDB log: log-gedit.txt
https://github.com/nix-community/home-manager/issues/4955
Distribution (run
cat /etc/os-release
):Related Application and/or Package Version (run
apt policy $PACKAGE NAME
):Issue/Bug Description:
gedit segfaults when trying to save a new file.
Steps to reproduce (if you know):
Expected behavior:
It opens the save file dialog.
Other Notes:
Possibly related to #3258. The machine spirits do not like me.
GDB log: log-gedit.txt