modify shell.tex