#!/bin/sh grep -i "$1" *.fig */*.fig