File Extension - mIRC Discussion Forums

How can I find out what file extension a specified file is?

I need to have my script check to see if the file a user selects is certain file type. If the file they select is not a file type my script supports, the script returns an error.

It wold help if you gave more details on the script..

I haven't thoroughly tested this, but let's say your filename was in the %FILENAME variable...
this will put the extension in the %FILE.EXT variable:

Code:

set %FILE.EXT $right(%FILENAME,$calc($len(%FILENAME)-$pos(%FILENAME,.,$count(%FILENAME,.))+1))

It will also work for file extension longer or shorter than 3 characters, and files that are like :"little.bown.happy.dog.gif"

Hope that works for you

Shorter version

set %FILE.EXT . $+ $gettok(%FILENAME,-1,46)
Same without the .dot
set %FILE.EXT $gettok(%FILENAME,-1,46)

just showing me up all over

Nah don't think of it like that. Offering some constructive critisisms.