<p><a href="https://github.com/DimStar77" class="user-mention">@DimStar77</a> yes I used the Mint <em>Software Centre</em> not the package manager <g-emoji alias="smile" fallback-src="https://assets-cdn.github.com/images/icons/emoji/unicode/1f604.png">😄</g-emoji></p>

<p>Perhaps it doesn't read those files?</p>

<p>As for a switch, if the distro is going to modify the file (at the very least to add the package) then does it make sense at all?</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/1142#issuecomment-233948530">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ3tX6CwY4Qz0dZm07oYBPvDaCs6fks5qXiJpgaJpZM4JPu0w">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ0cXbzzanyL4VKCJfA1bCmbVg6Myks5qXiJpgaJpZM4JPu0w.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1142#issuecomment-233948530"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>