Just a sample of the Echomail archive
Cooperative anarchy at its finest, still active today. Darkrealms is the Zone 1 Hub.
|    TUXPOWER    |    Advocacy for the Linux operating system    |    1,237 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 140 of 1,237    |
|    Jame Clay to All    |
|    Extracting file names using Bash    |
|    05 Feb 12 12:37:50    |
   
   All,   
      
    I've not actually had a chance to try this yet but my understanding is that   
   this can be used to extract file names using Bash:   
      
   file= thisfile.txt    
   echo filename: ${file%.*}    
   echo extension: ${file##*.}    
      
   Reference:    
   http://stackoverflow.com/questions/965053/extract-filename-and-extension-in-bas   
   h   
      
      
      
   Jame   
      
      
   --- BBBS/LiI v4.01 Flag   
    * Origin: BBBS Info at Rocasa (1:120/546)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca