Or should I go 11 > 12 > 13?
Edit: Thanks for all the replies. I asked this out of laziness and apparently trying this is not a lazy thing to do. I’m not Bilbo Baggins seeking an adventure. Will go with 11 > 12 > 13 way, though might stay at 12 for a while at this point. You know, lazy. :)
No.
By itself, apt will give you headaches.
Debian migrated to new paths for security non-free firmware in repositories from 11 to 12, and apt goes to v3 in 12 to 13, which changes the format of sources. There is a new apt modernize-sources command, but it assumes your paths are correct.
If you know what you’re doing, you can do this by correcting the repo paths and do the without-new-packages upgrade, but be prepared to fix apt.
If you’re a casual user, maybe stick with 11>12>13.
I know what I’m doing but looking at every comment here, it’s not a wise thing to do it seems. So casual or not 11 > 12 > 13 is the proper and most likely still the easiest way. It’s a good thing that I asked before doing some potentially mad thing.
Honestly, there were so many fundamental changes in the 13 upgrade for certain packages that I had to fix on a couple of machines that I’d be hesitant to try no-scoping the 11 > 13 upgrade.
I flew by the seat of my pants and managed to pull off 10 directly to 12, but I wouldn’t do it for this one.
Well, if there are issues like even in normal upgrade, it’s better not to jump on a thing like this.
Still, it’s good to know that this is technically possible, though it’s not for a lazy person who just wants to update his server. Gotta check Debian changelog.