Feature request: Download manager: add options to customize file name

[novoid]

Checklist

• I made sure that there are no existing issues - open or closed - which I could contribute my information to.
• I have read the FAQ and my problem isn't listed.
• I'm aware that this is a request for NewPipe itself and that requests for adding a new service need to be made at NewPipeExtractor.
• I have taken the time to fill in all the required details. I understand that the feature request will be dismissed otherwise.
• This issue contains only one feature request.
• I have read and understood the contribution guidelines.

Feature description

The current NewPipe downloaded file names contain the video name only.

Example: https://www.youtube.com/watch?v=XntrwuBjE5c with title "Heydon Pickering / The Folly of Chasing Demographics #id24 2024" currently results in a file named: Heydon Pickering _ The Folly of Chasing Demographics #id24 2024.mp4

I personally would like to customize that file name, adding more meta-data to it.

My personal preference would be:
2023-07-14 youtube - Heydon Pickering _ The Folly of Chasing Demographics #id24 2024 - 52m44s XntrwuBjE5c.mp4. (It starts with an ISO date-stamp which reflects the upload date to YouTube and at the end, I'd like to have the duration and the YouTube-hash.)

Since my personal choice might not reflect the general taste, I think that the file name for downloads should be customizable.

Why do you want this feature?

The title alone does not contain all the information I'd like to see in my list of video files on my mobile.

First of all, I'd like to have a datestamp associated as the first part of the file name. This helps me navigating through a longer list of files, it sorts videos of the same online event right beneath each other and it gives some idea on the up-to-dateness.

The "youtube" string tells me where I downloaded the video.

The duration tells me whether or not I do have time for that video right now.

The YouTube hash is the identifier that helps me to re-find that very same video again, if I need to re-visit its source for comments or similar.

Additional information

A really comfy implementation would look like that:
On the left hand side (or top?) I do have a list of possible strings I might add to the file name. Example list:

• title with proper character replacement for problematic characters like /\ (and so forth - maybe a complete list)
• ISO date of upload: e.g. 2023-12-31
• ISO time-stamp of upload: e.g., 2023-12-31T23:59:59 (if appropriate for Android file system naming convention)
• duration in seconds: 1234s
• duration in hms: 12h34m56s
• duration in ISO: 12:34:56 (if appropriate for Android file system naming convention)
• source: youtube, media.ccc, ...
• identifier: youtube-hash like "XntrwuBjE5c"
• space
• dash
• underscore
• free text: e.g. "NewPipe download" (requires some sort of user input)
• [...]

On the right hand side (or bottom?) there is a prioritized list of items from that list above where I might change the order, throw items out and so forth. For my personal example above, that list looks like:

1. ISO date of upload
2. space
3. source
4. space
5. dash
6. space
7. title
8. space
9. dash
10. space
11. duration in hms
12. space
13. identifier
    (a proper extension is added in any case)

Bonus: an option to choose the replacement character(s) for the replacement algorithm.

[novoid]

This might be related to #962 ("refactor download manager")

[ShareASmile]

#2282
#4341
Please add your inputs as a comment there after reading these above mentioned threads thoroughly. Thank you.