Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ubuntu source repository: bad URL semantics #1378

Closed
carlpaten opened this issue Nov 20, 2015 · 2 comments
Closed

Ubuntu source repository: bad URL semantics #1378

carlpaten opened this issue Nov 20, 2015 · 2 comments
Assignees
Milestone

Comments

@carlpaten
Copy link
Contributor

The suggested command for adding the stack source repository to Ubuntu is:

echo 'deb http://download.fpcomplete.com/ubuntu/wily stable main'|sudo tee /etc/apt/sources.list.d/fpco.list

But, from the Debian documentation:

The 'distribution' can be either the release code name / alias (wheezy, jessie, stretch, sid) or the release class (oldstable, stable, testing, unstable) respectively. If you mean to be tracking a release class then use the class name, if you want to track a Debian point release, use the code name.

This semantics carries over to Ubuntu.

What I would expect instead:

http://download.fpcomplete.com/ubuntu/wily stable main

Should be

http://download.fpcomplete.com/ubuntu wily main

This may seem completely trivial, but it does cause certain issues with system tools - for example, deploying stack via puppet on Ubuntu is unusually inconvenient.

@borsboom
Copy link
Contributor

I'll see about changing this for the next release.

@borsboom borsboom added this to the P2: Should milestone Nov 21, 2015
@borsboom borsboom self-assigned this Nov 21, 2015
@borsboom
Copy link
Contributor

borsboom commented Dec 3, 2015

This is fixed in the release process to upload to new locations with better semantics, and I've uploaded the last three releases (0.1.5.0, 0.1.6.0, and 0.1.8.0) to the new locations as well. The release process will, for now, continue uploading new versions to the old locations as well so that people don't need to update their sources list to get new releases.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants