Package: agda-mode
Severity: minor
Version: 2.2.4+dfsg-1
Owner: [email protected]
Hi,
[re: /etc/.../50agda.el being left around after a remove]
On Wed, Dec 02, 2009 at 05:28:18PM +0000, Nils Anders Danielsson wrote:
On 2009-12-02 17:16, Iain Lane wrote:
That's the behaviour dictated by Debian policy. All files installed into
/etc, which must include emacs site-start files, are required to be
modifiable by system administrators. It then follows naturally that
`remove' should not remove these configuration files, only `purge'. Hope
this explains the situation.
If you do not remove this file you get (non-critical) errors when
starting Emacs:
Error while loading 50agda: Cannot open load file:
/usr/share/emacs/site-lisp/agda/agda2.el
This error also seems to be printed every time another Emacs package is
installed.
This error is not exhibited by the Haskell mode, even though
50haskell-mode.el is not deleted. Perhaps we should follow the approach
taken by the haskell-mode installer.
A new version of Agda will be released any day now, by the way.
Ah, that's obviously a bug then. I'll forward to the Debian BTS for
tracking. Thanks.
Iain
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
