.gitignore: shell.html