Changed prompt to agnoster theme