Subject: | |
From: | |
Reply To: | |
Date: | Thu, 20 Jan 2011 14:07:54 -0800 |
Content-Type: | text/plain |
Parts/Attachments: |
|
|
At 09:48 a -0500 01/20/2011, Mark J. Reed didst inscribe upon an
electronic papyrus:
>On Thu, Jan 20, 2011 at 9:41 AM, Claudio Braga <[log in to unmask]> wrote:
>> Il giorno 20/gen/2011, alle ore 15.33, Mark J. Reed ha scritto:
>>
>>>
>>> set text item delimiters to "."
>>> set bareName to text items 1 through -2 of theName as text
>>>
>>> The only flaw I see in this approach is that it doesn't elevate the
>>> idea of "name extension" into an abstraction that sits above the idea
>>> of "part of a string after a period". And I'm not sure how valuable
>>> such an abstraction is anyway.
>>>
>>
>> I guess this will not work for a file with multiple "." in the
>>name. I'll stick with the previous solution
>
>No, it will absolutely work for a file with multiple periods in the
>name,
Well that depends on how you consider, say, document.ps.gz -- but
maybe that's only an issue for a Web server. :-)
-boo
writing his own CMS
|
|
|