Hi Naja,
In 7.1 and earlier, the only way of doing this was to redefined the text_editor command. On Unix, something like:
oldEditor=`ccm set text_editor`
ccm set text_editor cat %file1 > myfile.txt
ccm users
ccm set text_editor $oldEditor
In 7.2, there are easiers way to do this in the Synergy CLI with the redesigned ccm users command:
ccm users -export file
If you just want to see a list of user names:
ccm users -list
If you want to see the roles allocated to one or more users:
ccm users -show roles username...
Regards,
David.