chiark / gitweb /
Tighter input checking in scripts/setup