What is the CLI command to edit a file using code-server? - Coder.com