Pop!_OS 19.10 revoit son thème sombre, gestion plus simple de TensorFlow
Le 21 octobre 2019 à 09h53
2 min
Logiciel
Logiciel
Cette petite distribution s’est insérée dans le paysage Linux via System76, entreprise américaine commercialisant uniquement des ordinateurs sous Linux. Elle a fini par proposer son propre système, basé sur Ubuntu et se différenciant sur quelques points.
Pop!_OS se veut ainsi libre de toute interférence, en fournissant une interface débarrassée de tout ce qui pourrait distraire l’utilisateur. Le chiffrement du disque est activé par défaut, GRUB a été remplacé par systemd-boot et kernelstub, et le système est accompagné d’une partition de restauration.
La nouvelle mouture, sortant dans le sillage d’Ubuntu 19.10, apporte une révision du mode sombre, qui s’étend maintenant à tout le shell. Les utilisateurs ayant installé l’extension User Themes sont invitées à la désactiver pour accéder au sélecteur de thèmes dans les réglages système, section Apparence. Les deux thèmes principaux (clair et foncé) se veulent également plus cohérents et sont accompagnés de nouveaux sons.
Outre l’inévitable GNOME 3.34, des paquets plus récents et un processus simplifié de mise à niveau, Pop!_OS 19.10 apporte également un nouvel outil : Tensorman. Il sert de gestionnaire de chaine d’outils pour TensorFlow.
Les développeurs fournissent d’ailleurs un exemple. Pour exécuter ainsi un script python dans un conteneur Docker TensorFlow supportant CUDA et Python 3, l’outil se lance via la commande suivante :
tensorman run –gpu python – ./script.py
En outre, Tensorman permet de définir une version de TensorFlow par défaut à l’échelle de l’utilisateur, du projet ou par exécution.
Le 21 octobre 2019 à 09h53
Commentaires (12)
Vous devez être abonné pour pouvoir commenter.
Déjà abonné ? Se connecter
Abonnez-vousLe 21/10/2019 à 11h20
Quelqu’un a déjà testé cette distribution ? Un avis ?
Le 21/10/2019 à 11h59
Je ne comprends pas l’interface qui peut distraire l’utilisateur
" />
Ils pensent que les gens utilisent encore Trombine ?
Le 21/10/2019 à 12h41
C’est celle qui a remplacé mon Linux Mint sur mon PC principal. Pour une utilisation domestique classique (internet, jeux, documents), je la préfère à Ubuntu et Linux Mint.
Interface mieux finie selon moi, et un ensemble homogène assez flatteur.
Par contre, j’ai jamais bossé avec, j’ai toujours utilisé Mint pour le travail. Mais je fais plus de Linux desktop depuis un moment, si je dois y retourner j’y jetterai définitivement un coup d’oeil.
Le 21/10/2019 à 13h48
Yep, je l’utilise en principale en remplacement d’Ubuntu, Linux Mint et même Débian.
Elle envoit du pâté, surtout si tu joues sous Linux (Steam+ProtonDB / Lutris etc).
Le 21/10/2019 à 14h12
Le 21/10/2019 à 14h33
Ca je veux bien croire que je suis trop vieux. Mais on parle bien d’un OS desktop là, pas d’un smartphone kikoolol ?
Je teste sur mon ubuntu actuel, à part les secondes qui défilent en haut (et j’ai choisi de les afficher, c’est désactivé par défaut), je ne vois qui bzzzz ding toutes les 5 secondes ?
Parce que des merdes qui distraient on peut en installer sur toutes les distribs, mais par défaut je ne vois pas ce qui les gène sur l’interface d’Ubuntu (puisque c’est leur base).
Le 21/10/2019 à 17h33
Je ne pense pas que ce soit en comparaison avec Ubuntu ou une autre distribution, mais plutôt envers Windows 10. Même au boulot, je me retrouve avec des tuiles Minecraft, Candy Crush et autres publicités débiles.
Le 21/10/2019 à 19h21
> GRUB a été remplacé par systemd-boot
" />
" />
Ne s’arrêtera-t-il donc jamais
Le 22/10/2019 à 03h03
Ca a l air pas mal minimaliste / épuré en effet.
YouTube
Quelqu’un aurait essayé Deepin ?
Le 22/10/2019 à 10h37
Le 22/10/2019 à 11h18
Le 02/12/2019 à 19h01
+1