<p>Hi and welcome to inconsistency corner <g-emoji class="g-emoji" alias="grin" fallback-src="https://assets-cdn.github.com/images/icons/emoji/unicode/1f601.png">😁</g-emoji>.</p>
<p>This is a problem that infests many places of both operating systems and languages and libraries, what to call stuff relating to files, common options seem to be:</p>
<ul>
<li>
<p><code>path</code> or <code>file path</code> or <code>filename</code>, the location of a file eg <code>/home/me/mine/file.ext</code></p>
</li>
<li>
<p><code>file</code> or <code>filename</code> or <code>basename</code>, the bit after the last separator in a path eg <code>file.ext</code></p>
</li>
<li>
<p><code>file suffix</code> or <code>suffix</code> or <code>file extension</code> or <code>filename extension</code> or <code>extension</code>, the bit after (and usually including) the last dot in a <code>file</code> or <code>filename</code> or <code>basename</code> eg <code>.ext</code> (not counting weirdos like <code>.tar.gz</code>, did I mention inconsistency?)  It is usually used to indicate something about the contents of the file, eg .c is C language code and .rs is Rust language code.</p>
</li>
<li>
<p><code>filetype</code> is a Geany specific term to indicate the expected contents of the file and to select the language support features of Geany, it may be selected by the extension of the <code>file</code> or specific content markers or by the user.  Technically it is the <code>buffertype</code> as it relates to the buffer contents, but <code>filetype</code> has become so entrenched in the project that I doubt it can be changed.</p>
</li>
</ul>
<p>Which words you use depends on what your programming/computer use background is, I am not sure any particular one is "correct".</p>
<p>To the specific examples:</p>
<blockquote>
<p>Explicitly defines a filetype for the file, if it would not be detected by filename extension.<br>
Note if you choose multiple files, they will all be opened with the chosen filetype.</p>
</blockquote>
<p>I would say replace "would" by "was" and "filename" by "the" are the only changes needed if at all.</p>
<blockquote>
<p>Proxy plugin '%s' extension '%s' starts with a dot. Please fix your proxy plugin.</p>
</blockquote>
<p>Seems fine, the code that generates the message is indicating that in this instance the extension must be specified without the separating dot.</p>
<blockquote>
<p>Path of the file representing the project and storing its settings. It should normally have the "%s" extension.</p>
</blockquote>
<p>Seems fine, the <code>path</code> by definition includes the <code>extension</code>.</p>
<blockquote>
<p>Unknown filetype extension for "%s".</p>
</blockquote>
<p>Since %s is the name of a file probably better as "Unknown filetype for extension of %s"</p>
<blockquote>
<p>Hide file extensions:</p>
</blockquote>
<p>Given that this is an option to hide the extensions of a list of files its probably quite reasonable.</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/issues/1792#issuecomment-369569221">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ3tZxuN2M3KI54_2bvFFXAzeceCfks5tZ-HEgaJpZM4SYFZB">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ5rww9OtoWu0cgFH2OmTQVSC38Oxks5tZ-HEgaJpZM4SYFZB.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/issues/1792#issuecomment-369569221"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@elextr in #1792: Hi and welcome to inconsistency corner :grin:.  \r\n\r\nThis is a problem that infests many places of both operating systems and languages and libraries, what to call stuff relating to files, common options seem to be:\r\n\r\n* `path` or `file path` or `filename`, the location of a file eg `/home/me/mine/file.ext`\r\n\r\n* `file` or `filename` or `basename`, the bit after the last separator in a path eg `file.ext`\r\n\r\n* `file suffix` or `suffix` or `file extension` or `filename extension` or `extension`, the bit after (and usually including) the last dot in a `file` or `filename` or `basename` eg `.ext` (not counting weirdos like `.tar.gz`, did I mention inconsistency?)  It is usually used to indicate something about the contents of the file, eg .c is C language code and .rs is Rust language code.  \r\n\r\n* `filetype` is a Geany specific term to indicate the expected contents of the file and to select the language support features of Geany, it may be selected by the extension of the `file` or specific content markers or by the user.  Technically it is the `buffertype` as it relates to the buffer contents, but `filetype` has become so entrenched in the project that I doubt it can be changed.\r\n\r\nWhich words you use depends on what your programming/computer use background is, I am not sure any particular one is \"correct\".\r\n\r\nTo the specific examples:\r\n\r\n\u003e Explicitly defines a filetype for the file, if it would not be detected by filename extension.\r\nNote if you choose multiple files, they will all be opened with the chosen filetype.\r\n\r\nI would say replace \"would\" by \"was\" and \"filename\" by \"the\" are the only changes needed if at all.\r\n\r\n\u003e Proxy plugin '%s' extension '%s' starts with a dot. Please fix your proxy plugin.\r\n\r\nSeems fine, the code that generates the message is indicating that in this instance the extension must be specified without the separating dot.\r\n\r\n\u003e Path of the file representing the project and storing its settings. It should normally have the \"%s\" extension.\r\n\r\nSeems fine, the `path` by definition includes the `extension`.\r\n\r\n\u003e Unknown filetype extension for \"%s\".\r\n\r\nSince %s is the name of a file probably better as \"Unknown filetype for extension of %s\"\r\n\r\n\u003e Hide file extensions:\r\n\r\nGiven that this is an option to hide the extensions of a list of files its probably quite reasonable."}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/1792#issuecomment-369569221"}}}</script>