Converting 9.1.10-12 to shell commands