世界杯历史进球数TOP10：巴西第1，匈牙利40年未参赛仍在列（世界杯历史进球榜前十：巴西居首，匈牙利缺席40年仍在榜上）

Recalling World Cup stats

I’m trying to recall the total World Cup goals scored through 2022. Brazil’s count seems to be either 237 or 241, while Germany might have 232. I’d like to verify their stats through FIFA records. I know Germany had 224 goals up to 2018, but I’m unsure about Brazil’s count at 221. For Germany's total matches, it looks like they played 114 before 2022, but I need to clarify those details and focus on ranks rather than exact numbers.Gathering World Cup goal stats

I think we can rely on known facts to identify the top 10 teams by goals scored in World Cup history. The common ranking seems to be Brazil, Germany, Argentina, France, Italy, Spain, Netherlands, England, Uruguay, and Hungary. However, there might be some variation among France, Italy, Spain, and the others. Regarding Argentina, I recall their goals as possibly 152, but that doesn't seem right. I’ll have to recalculate to confirm their actual goals from previous tournaments.Deciding on shell use

I’m considering whether to use shell since the system didn’t specify sandboxing or approvals. My default assumption is that workspace-write and network access are enabled, with failures requiring approval. So, I’ll go ahead and run bash -lc with curl. My plan is to parse the output using rg to find specific numbers in the HTML. Let’s get started on this!