The real reason was a boring one and seemingly unrelated to that file. I just ran out of disk space. Still though, that’s not exactly a helpful error is it
Post funny things about programming here! (Or just rant about your favourite programming language.)
What does it matter what came before or after the offending command? Clearly,
/usr/bin/ar
says it’s unable to copy a file because ofSuccess
, which is a bullshit error message whithin or without [Edit:a pipe&&
].In C/C++, it’s very common for a function to return an integer corresponding to any errors that occured within the function, including a “success” error code, because it has to return something, otherwise it’s undefined.
I’m not sure that’s what happened here but that’s why “successful” errors are a thing. Somewhere it got misinterpreted maybe.
https://www.man7.org/linux/man-pages/man1/bash.1.html
So, command 1 returns success, but command 2 fails. The FAILED comment at the beginning of the error message is the message to parse, one part succeeded, the other failed.
Not using && and running your command by line will show where the error is.