Shell script to replace a variable in a HTML document Shell script to replace a variable in a HTML document shell shell