chiark / gitweb /
main: set $PATH if it isn't set