<p>> -- citation -----------<br>
>> bash -c "agda-mode locate" | less<br>
> /home/mechvel/.cabal/share/Agda-2.3.0.1/emacs-mode/agda2.el<br>
> (END) > -----------------------</p>
<p>And what's the output of</p>
<p>sh -c "agda-mode locate"</p>
<p>?</p>