# **************************************************************

# filename -- extract the filename from file path

#

#     string filename( string string )

function filename() {

local str="$*"

str=$( echo $str | egrep -o '([^\\/]+)$' | cut -d? -f1 )

echo $str

}