#!/bin/bash
HISTFILE=~/.bash_history
set -o history
if [ "$1" == "" ]
then
   history
else
   history | grep "$1"
fi