def fcn for bash completion