Neat, thanks! But what's the use case for this? Pointing at a PPA's deb file? Grabbing debs from Debian directly?
It seems fragile to point to a single deb on a server since when the repository gets updated, the url will be dead.
Maybe it would be better to add PPA support to the ubuntu plugin?
« Back to merge proposal
Neat, thanks! But what's the use case for this? Pointing at a PPA's deb file? Grabbing debs from Debian directly?
It seems fragile to point to a single deb on a server since when the repository gets updated, the url will be dead.
Maybe it would be better to add PPA support to the ubuntu plugin?