even though we can be pretty sure that there won't be any spaces or unicode characters in filenames we generate, we cannot be 100% sure, so it's better to just protect everything.
make wget use a progress bar
I would prefer curl because it's cleaner but that's just a personal preference so I ignored myself for now. May need to look at this again from a security perspective
fail inside pipes
Note that gverify can fail so I explicitly negate that, but already introduced a check with the filename quote fix, so this is checked procedurally instead.
I left the apt related issues open because those rely on #42.
Fixes:
curl
because it's cleaner but that's just a personal preference so I ignored myself for now. May need to look at this again from a security perspectivegverify
can fail so I explicitly negate that, but already introduced a check with the filename quote fix, so this is checked procedurally instead.I left the
apt
related issues open because those rely on #42.