/etc/emacs/site-start.d/50agda.el is in agda-mode 2.4.0.2-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 | ;; This conffile is left around if the package is removed but not purged.
;; agda-mode is also not compatible with XEmacs so let's case against loading there
(when (and (file-exists-p "/usr/share/emacs/site-lisp/agda/agda2.el") (not (string-match "XEmacs" emacs-version)))
(debian-pkg-add-load-path-item "/usr/share/emacs/site-lisp/agda/")
(load "agda2")
)
|