{"type":"rich","version":1.0,"title":"How to use echo to pipe a string into a file","width":3951,"html":"<a href=\"https://asciinema.org/a/97524\" target=\"_blank\"><img src=\"https://asciinema.org/a/97524.png\" alt=\"How to use echo to pipe a string into a file\" width=\"3951\"></a>","height":1944,"author_name":"ggt667","author_url":"https://asciinema.org/~ggt667","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1944,"thumbnail_url":"https://asciinema.org/a/97524.png","thumbnail_width":3951}