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

Already on GitHub? Sign in to your account

download: Note Ubuntu PPA as Unofficial #1507

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
3 participants
Contributor

wbnns commented Feb 11, 2017

This fixes #1506 and provides additional clarity to the Ubuntu link by
adding a note that the PPA is Unofficial:

image

Unless others object, this will be merged on Wednesday, February 15th.

cc: @harding @Pixdigit

download: Note Ubuntu PPA as Unofficial
This fixes #1506 and provides additional clarity to the Ubuntu link by
adding a note that the PPA is Unofficial.

@wbnns wbnns self-assigned this Feb 11, 2017

@wbnns wbnns referenced this pull request Feb 11, 2017

Closed

Conflict in installguide #1506

Contributor

harding commented Feb 11, 2017

Perhaps Note: unofficial should be a translated string? Otherwise LGTM. Thanks!

Contributor

luke-jr commented Feb 11, 2017

In what sense is the PPA unofficial?

Contributor

wbnns commented Feb 11, 2017 edited

@luke-jr Heya Luke, here's the context with regard to the issue that was opened - #1506.

Contributor

luke-jr commented Feb 11, 2017

I consider the PPA official and recommended for Ubuntu users. It's technically less secure in a sense, but in the same way that using Ubuntu (or any OS) implies trusting the vendor maintaining it.

@wbnns wbnns added On Hold and removed Merge Scheduled labels Feb 13, 2017

Contributor

wbnns commented Feb 13, 2017

Let's put this on hold to see if anyone else wants to share feedback - also, FWIW, perhaps leaving it as-is, unchanged, could be a good option.

@wbnns wbnns closed this Feb 28, 2017

@wbnns wbnns deleted the wbnns-clarify-ppa branch Feb 28, 2017

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