#!/bin/sh

# Aliases used in all kinds of shells


# Manage the bare `git` repository in ~/ holding the dotfiles
alias dotfiles='git --git-dir=$DOTFILES_DIR --work-tree=$HOME'



forget() {  # the current history and restore $HISTFILE from disk
    if [ -n "$BASH_VERSION" ]; then
        history -c
        history -r
    fi
}



alias grep='grep --exclude-dir=.git'