Your bash history is in a textfile.
Edit that file. Start bash. You should have the changed history now.
Why is this step necessary? awoo.pub might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here