#!/bin/sh
export PS1='proof$ '
unset PROMPT_COMMAND
exec /bin/bash --noprofile --norc "$@"