bash: extract aliases to a separate file