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