change name of bash shortcuts