chiark / gitweb /
fileio: simplify write_env_file()