scripts/wrong-filename.sh: convert to Python-script

[sebastiaanspeck]

• The PR title conforms to the recommended templates.

Alongside with this PR, a PR in GitHub.com/tldr-pages/tldr-maintenance is needed as well, tldr-pages/tldr-maintenance#154

[sebastiaanspeck]

I am doubting if we still want this script or move the logic to check if the page title is what we expect from the filename (and viceversa) in scripts/set-page-title.py. To me they seem to overlap.

[sebastiaanspeck]

@Managor @acuteenvy @kbdharun can I ask for your opinion on this?

1. Switch to the Python-script (so it is runnable on MacOS as well)?
2. This overlaps with set-page-title.py, shouldn't it be integrated there?

Only if this is something we want, I will fix the merge conflicts.

[Managor]

Can you give me a quick rundown of what the issue is? I'm unable to use the "Resolve conflicts" button to view the conflicts

I don't see any downsides with switching to a python script. Can you elaborate more on that?

[sebastiaanspeck]

I don't see any downsides with switching to a python script. Can you elaborate more on that?

I agree, but since the functionality overlaps with set-page-title.py (this script is for reporting a filename is incorrect and set-page-title fixes it). Why not have just one script for both purposes?

[Managor]

I don't see any reason of having two scripts that do the same thing. Delete the shell scripts and leave it that.

[sebastiaanspeck]

I don't see any reason of having two scripts that do the same thing. Delete the shell scripts and leave it that.

I will integrate the missing functionality from this shell script into the Python script.