surfzoid | <Odd_Bloke> "I think they're saying that..." <- exactly | 04:46 |
---|---|---|
surfzoid | because apt-add-repository ppa:user/repository vs apt-add-repository ppa:user/distro/repository add the higtest ubuntu version, not the curent runing one | 04:48 |
Odd_Bloke | This is specifically about the stanza with "This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.", _not_ the general-case happy path above it. | 14:09 |
Odd_Bloke | (The key being that that lets you select which Ubuntu version you want, hence the `/distro/` addition being desired.) | 14:09 |
cjwatson | Except that's not what the middle segment of ppa: URLs means. | 14:11 |
cjwatson | It means distribution (e.g. "ubuntu"), _not_ distroseries (e.g. "focal"). | 14:11 |
cjwatson | So no, can't do it that way. | 14:12 |
Odd_Bloke | Aha, good to know! That explains the confusion. :) | 14:14 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!