thanks Mark, currently thinking about how this can be a problem also, thanks Steven, I've saw your comment while writing mine (and already found this, too)
TL;DR
I've wrote some thoughs…
I've got those points, too. It's not hard to understand the real problem, but the big discussion in the middle of this PR. About security and predictive filenames, that it's posible to modify…
After reading through the comments and start skimming through in the middle cause of the heavy discussion happen there - it's really hard to follow.
Reading the first part, I would suggest…
As @ssrq pointed out in chat, remove-apt-repository
is a script installed in /usr/local/bin/
by this type itself. The given script will remove the repository via the python API. It looks like at…