Re: filter for up-arrow in terminal