Php 从JSON格式的字符串转换为可下载的JSON文件

我从一个数组开始：

$arr = array(
        0 => array(
            'name' => Input::get('symptom'),
            'amount' => 5,
            'time' => '2:00 am',
            'date' => '10.26.96',
            'type' => 'symptom',
        )

我将其保存给用户：

$user = Auth::user();
$user->json = json_encode($arr);

然后下载：

<form method="get" action="json.json">
    <button type="submit">Download!</button>
</form>

下载！

如何允许用户下载

Auth:：user（）->json的内容？

感谢您的帮助

---

PS我正在使用Laravel，但我不知道这是否重要。

首先创建一个文件，然后将此路径如下所示

$user = Auth::user();
$user->json = json_encode($arr);
$path = public_path('json.json');
$file = File::put($path,$user->json);
return Response::download($path);

---

谢谢你的回答。

pathToFile

来自哪里？