chiark / gitweb /
main: unset some bash specific environment variables that might get leaked to us