Penguin

I'm sorry, there is no such page as [ -n "$BASH_ENV"?.