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

Ability to edit the ppa name #56

philipzae opened this Issue Feb 20, 2015 · 0 comments


None yet
2 participants
Copy link

philipzae commented Feb 20, 2015

Many times, i get a particular PPA to get one particular package from it, but its name isnt something i could look back later on and know what was the reason i had it enabled. So it would be nice if it was possible to have some editable text that could be included next to the PPA name.

adilson/experimental (choqok)
mc3man/trusty-media (ffmpeg)

brennanhm pushed a commit to brennanhm/mintsources that referenced this issue Jan 15, 2016

Add note to PPA
- Resolve issue linuxmint#56
- Give users the ability to add personalized notes to their PPA sources.
- Add a note: Right-click on the PPA and select Note. Type a note in the
dialog box and click OK. A comment is added to the PPA's source file and
it appears in brown text beside the PPA name in the GUI.
- Modify a note: Open note, make changes, and click OK. The PPA's source
file is updated with the altered comment.
- Delete a note: Open note, delete all the text, and click OK. The comment
is removed from the source file.

@clefebvre clefebvre closed this Feb 9, 2018

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