linux write to file from command line