Repl.itで作成したファイルがダウンロードしたZipに含まれない場合

Repl.it 内で作成したファイル（例えば以下のように作成した tmp.txt や kadai.txt など）はダウンロードしたZipに含まれません。

code:shell

$ ./a.out > tmp.txt

$ cat main.c tmp.txt > kadai.txt

これらを含みたい場合は，ファイル一覧の画面でファイル名を変更してください（kadai.txt を kadai2.txt などに変更）。一度変更するとダウンロードしたZipファイルに含まれるようになります。

Repl.it上でのファイル名の変更

ファイル名を変更するにはファイル名の右側の「…」をクリックしてメニューを出した後で「Rename」を選択します。

https://gyazo.com/851d1c424416bf951f2ba0f39ea0a66b