Windows fix - rename files with > in their name

Francis Duffyrequested to merge
francis_duffy/arch2001_x86-64_os_internals_slides_and_subtitles:windows_filename_fix into master

When I try to clone the repository on Windows, I get the following error on checkout:

...
Resolving deltas: 100% (1037/1037), done.
error: invalid path '08_Paging/__Arch2001_08_Paging_03_PageTables_02_32->32_4KB.srt'
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed. You can inspect what was checked out with 'git status' and retry with 'git restore --source=HEAD :/'

It is because > is not allowed in a filename on Windows. This merge request renames those files that have > in their name.

If it is difficult to point the videos at the renamed .srt files, we can close the merge request. I just thought that I would mention it here in case others try to clone on Windows.

Merge request reports