misc shell and git aliases