#!/bin/bash
grev() {
    local current_dir=$(pwd)
    docker run -v "$current_dir":/experiments -w /experiments -it grev bash -c "grev $*"
}
grev "$@"
