a bash function to dereference shell aliases