Public bug reported:
Hi,
I’m not used with Emacs (I’m more a Vim user) but as it includes a module
“ProofGeneral” to work with Coq, I was working on it. The “Evil” package was
active too. Both of those package were installed throw “el-get”: there
shouldn’t be any installation problem with my packages.
It seems that each time I’m going to the end and adding a new line on a Coq
file, Emacs takes 100% of the CPU. I had to kill it each time (I’ve tested it
several times on my Coq files).
I’ve just updated my system to Precise, but the bug was still there in Oneiric
(here is the dupplicate bug report:
https://bugs.launchpad.net/ubuntu/+source/emacs23/+bug/988839).
I guess this is more due to “proofGeneral”, but I’m not sure of it.
Martin.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: emacs23-nox 23.3+1-1ubuntu9
ProcVersionSignature: Ubuntu 3.2.0-24.38-generic 3.2.16
Uname: Linux 3.2.0-24-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 2.0.1-0ubuntu7
Architecture: amd64
CheckboxSubmission: 01a18e0a74cbde3d34a62f62830ed079
CheckboxSystem: f134069bba098730d27f59b402920826
Date: Tue May 8 00:42:40 2012
ExecutablePath: /usr/bin/emacs23-nox
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012)
SourcePackage: emacs23
UpgradeStatus: Upgraded to precise on 2012-05-07 (0 days ago)
** Affects: emacs23 (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug precise
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/996234
Title:
Emacs takes 100% CPU when adding a new line at the end of a file (with
Evil and ProofGeneral running).
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/emacs23/+bug/996234/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
