On Thu, 2005-02-17 at 11:16 -0500, jeff elkins wrote:
> Howdy,
>
> I need a shell script to strip X leading characters from a filename. I'm using
> basename to change extensions, any analog of this I could use?
if you use bash or ksh you can use stuff like ${k%%word} and ${k##word}
to get head and tail of $k wrt word. see man bash, for example