我想下载一个 .bin 文件，大小约为 10GB。该文件可在此处找到（4 个下载链接中的任意一个）：http://mazajak.inf.ed.ac.uk:8000/#embedding-page。当我在我拥有的私人服务器上使用 wget 或 curl 下载文件时，我得到一个 10GB 的文件，该文件不是 .bin 文件（没有任何扩展名），但如果我从网站上单击本地计算机上的“下载”，它清楚地表明它正在下载 .bin 文件。知道我哪里出错了吗？我正在做的是右键单击“下载”超链接并将其粘贴到 wget/curl 命令前面。
这些是我正在运行的示例命令：
wget http://mazajak.inf.ed.ac.uk:8000/get_sg_250
curl -o http://mazajak.inf.ed.ac.uk:8000/get_sg_250