You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5807 Reporter: oliver Assigned to:@alainfrisch Status: resolved (set by @alainfrisch on 2016-12-08T10:44:47Z) Resolution: fixed Priority: normal Severity: feature Version: 3.11.2 Fixed in version: 4.04.0 Category: standard library Tags: patch, junior_job
Bug description
In module Filename there is
"check_suffix" to check on a known suffix
"chop_suffix" to chop a known suffix
"chop_extension" to chop any (even unknown) extension
For working on files with any file extension
(previously unknown, means: not looking for a specific extension/suffix),
to use "check_suffix" and "chop_suffix" a "Filename.get_suffix"
function would help a lot.
"chop_extension" could then be implemented
comparingly easily with "get_suffix" and "chop_suffix".
But to extract the suffix from the filename
is annoying stuff that needs String-module or a for-loop.
But not seldom, it's needed to extract the extension from a file.
above,
So all in all, a Filename.get_suffix would be helpful in any case.
Original bug ID: 5807
Reporter: oliver
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2016-12-08T10:44:47Z)
Resolution: fixed
Priority: normal
Severity: feature
Version: 3.11.2
Fixed in version: 4.04.0
Category: standard library
Tags: patch, junior_job
Bug description
In module Filename there is
"check_suffix" to check on a known suffix
"chop_suffix" to chop a known suffix
"chop_extension" to chop any (even unknown) extension
For working on files with any file extension
(previously unknown, means: not looking for a specific extension/suffix),
to use "check_suffix" and "chop_suffix" a "Filename.get_suffix"
function would help a lot.
"chop_extension" could then be implemented
comparingly easily with "get_suffix" and "chop_suffix".
But to extract the suffix from the filename
is annoying stuff that needs String-module or a for-loop.
But not seldom, it's needed to extract the extension from a file.
above,
So all in all, a Filename.get_suffix would be helpful in any case.
Steps to reproduce
./.
Additional information
./.
File attachments
The text was updated successfully, but these errors were encountered: