write-file

(write-file <file> <string>)

Writes <string> to <file>.

Example:

(write-file users.txt jane,joe)