[ale] SHELL: get file name

[Geoffrey]

>>ABSFILE=/home/aaa/bbb/ddd/name.log
>>file=$(basename $ABSFILE)

echo ${ABSFILE##*/}

is much faster since it is a builtin.


-- 
Until later: Geoffrey		esoteric at 3times25.net

I didn't have to buy my radio from a specific company to listen
to FM, why doesn't that apply to the Internet (anymore...)?


---
This message has been sent through the ALE general discussion list.
See http://www.ale.org/mailing-lists.shtml for more info. Problems should be 
sent to listmaster at ale dot org.