On 19/09/2015 18:01, Andrés Muñiz Piniella wrote:
El 19 de septiembre de 2015 15:02:39 GMT+01:00, Bruce Pieterse
<[email protected]> escribió:
On 19/09/2015 14:43, Erick Brunzell wrote:
On 09/19/2015 07:26 AM, Patrik Bubák wrote:
Hey everyone,
a small contribution from me:
https://wiki.ubuntu.com/UbuntuGNOME/HowTo/UpgradeGnomeShell
Learn about how to protect yourself on the internet
<https://prism-break.org/en/>
Why it is important to encrypt your communications
<https://freedom.press/encryption-works>
An easy how-to guide to PGP (Pretty Good Privacy)
<https://emailselfdefense.fsf.org/en/>
Nothing ruins creativity like too many voices weighing in. We call
it
the /Ice Cream Principle/. Tell 10 people to go get ice cream with
one
condition: they all have to agree on one flavour. That flavour is
going to be chocolate or vanilla every time. Groups of people don't
agree on what's cool or interesting, they agree on what's easy to
agree on.
RE:
https://wiki.ubuntu.com/UbuntuGNOME/HowTo/UpgradeGnomeShell#Add_the_PPAs_and_update
I've frequently found that rather than just apt upgrade I need to
use:
sudo apt dist-upgrade
I cc'ed Tim because he'd know best if dist-upgrade is required.
Lance
Hi Patrik and Lance,
Yes, once you have added the PPA's you can run sudo apt-get update &&
sudo apt-get dist-upgrade.
Does dist-upgrade do normal upgrade?
I.e.
$ sudo apt-get update && sudo apt-get upgrade && sudo apt-get dist-upgrade
?
Yes. as per the man page:
dist-upgrade
dist-upgrade in addition to performing the function of upgrade,
also intelligently handles changing dependencies with new versions
of packages; apt-get has a "smart" conflict resolution system, and
it will attempt to upgrade the most important packages at the
expense of less important ones if necessary. The dist-upgrade
command may therefore remove some packages. The
/etc/apt/sources.list file contains a list of locations from which
to retrieve desired package files. See also apt_preferences(5) for
a mechanism for overriding the general settings for individual
packages.
--
All the best,
Bruce
--
Ubuntu-GNOME mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
