Linux

LaMaisonQuiRendFou a écrit:

ycombe a écrit:

Pour l'écran 4K, je ne sais pas quel est le problème, tu peux détailler?

Oui c'est vrai que je n'ai pas bien compris la question moi non plus.

Pour l'écran 4K, le problème c'est que si le système d'exploitation ne prend pas en charge nativement cette définition, tout devient trop petit à l'écran ou alors, il faut faire comme si l'écran n'était pas 4K. Mais à avoir un écran 4K, autant avoir un SE qui le prend en charge nativement.

AndréC a écrit:

ycombe a écrit:

AndréC a écrit:
Et quid de la prise en charge des deux core i7 (l'un sur portable, l'autre sur tour)  sur Debian ?
Et quid de l'affichage 4K sur le portable avec Debian ?

C'est quoi le problème avec les core i7? Ça fait 8 ans que j'en ai un sous debian...

Pour l'écran 4K, je ne sais pas quel est le problème, tu peux détailler?

Je me renseigne pour savoir si ces processeurs sont pris en charge, le mien est plus récent, c'est le core i7 6700 pour le portable et 7700 pour la tour.

Et pour l'écran 4K du portable, je me renseigne aussi vu que (par exemple) le seul éditeur LaTeX qui gère correctement cette définition est Texmaker et que tous les autres ne le prennent pas en charge, avant de migrer, il vaut meiux être sûr et certain qu'il y a prise en charge.

Beaucoup d'applis ne prennent pas encore en charge les écrans 4K, alors sur Debian, je ne sais pas. Si quelqu'un a une source sûre tant mieux.

Les grands fondeurs salarient directement des développeurs pour que leurs processeurs soient complètement supportés par Linux et en général les patch sont envoyés avant même la disponibilité des puces. La plupart des serveurs tournent sous linux, il est vital pour eux d'être bien supportés pour ne pas se retrouver évincés de ce marché emblématique.

Donc, tes i7 sont supportés par les derniers noyaux. La seule question est la disponibilité de ces noyaux sous debian, un petite recherche indique que c'est bon sous stretch (la dernière):
https://lists.debian.org/debian-user/2017/04/msg00634.html

Pour ce qui est de la 4k, elle est supportée. Trop bien. Ce qui fait que certaines applications vont apparaître trop petites à l'écran. Mieux vaut utiliser des applications dont les librairies graphiques gèrent ce problème. C'est le cas de Qt, donc de Texmaker. C'est aussi le cas de Gtk.  On peut se référer à la doc d'ArchLinux qui est, en règle générale, très complète, sur cette question:
https://wiki.archlinux.org/index.php/HiDPI

AndréC a écrit:

PauvreYorick a écrit:
Certes, enfin il faut vraiment le vouloir pour trouver une imprimante qui n'a de drivers que pour w1nd0w$$

Je voulais une multifonction laser, j'ai trouvé une ricoh sp 112 à 40 €, c'est un prix imbattable puisque la recharge de toner coûte 25 €.

Mal supportée sous linux. Ce qui ne veut pas dire qu'elle ne peut pas marcher.
https://doc.ubuntu-fr.org/tutoriel/installer_imprimante_ricoh#modeles_sp-112_sp_204_et_sp_201n

@AndréC
En parlant d'Archlinux, c'est peut-être même une meilleure solution pour vous que Debian.

ycombe a écrit:

Code:

$ uname -a
Linux **** 4.9.0-3-amd64 #1 SMP Debian 4.9.30-2+deb9u2 (2017-06-26) x86_64 GNU/Linux


Il faut mettre à jour ! ;-)

Code:

$ uname -a
Linux w00tsrv 4.9.0-4-amd64 #1 SMP Debian 4.9.65-3+deb9u1 (2017-12-23) x86_64 GNU/Linux


Sinon, j'aime beaucoup Arch Linux. La gestion des paquets avec yaourt est vraiment très simple et très propre.
Même si les how-to guident beaucoup, l'installation où il faut tout construire  est aussi très plaisante.
Le gestionnaire pacman/yaourt est très robuste contrairement à emerge sur Gentoo ! Combien de fois j'ai hurlé sur emerge et les conflits avec perl ...
Au final, on a un peu les avantages de Gentoo (avec la compilation, le style BSD, des paquets à jour, plus de non libre, etc) sans les inconvénients (la fragilité).

ycombe a écrit:
Les grands fondeurs salarient directement des développeurs pour que leurs processeurs soient complètement supportés par Linux et en général les patch sont envoyés avant même la disponibilité des puces. La plupart des serveurs tournent sous linux, il est vital pour eux d'être bien supportés pour ne pas se retrouver évincés de ce marché emblématique.

C'est le meilleur argument, à mon avis en faveur de Linux : c'est le choix des professionnels, c'est solide, c'est fiable.

ycombe a écrit:
Donc, tes i7 sont supportés par les derniers noyaux. La seule question est la disponibilité de ces noyaux sous debian, un petite recherche indique que c'est bon sous stretch (la dernière):
https://lists.debian.org/debian-user/2017/04/msg00634.html

Pour ce qui est de la 4k, elle est supportée. Trop bien. Ce qui fait que certaines applications vont apparaître trop petites à l'écran. Mieux vaut utiliser des applications dont les librairies graphiques gèrent ce problème. C'est le cas de Qt, donc de Texmaker. C'est aussi le cas de Gtk.  On peut se référer à la doc d'ArchLinux qui est, en règle générale, très complète, sur cette question:
https://wiki.archlinux.org/index.php/HiDPI

Alors qu'installer ? Debian ? Archilinux ? Mint ? Gentoo ? Ubuntu ?

ycombe a écrit:

AndréC a écrit:
Je voulais une multifonction laser, j'ai trouvé une ricoh sp 112 à 40 €, c'est un prix imbattable puisque la recharge de toner coûte 25 €.

Mal supportée sous linux. Ce qui ne veut pas dire qu'elle ne peut pas marcher.
https://doc.ubuntu-fr.org/tutoriel/installer_imprimante_ricoh#modeles_sp-112_sp_204_et_sp_201n

Ricoh ne livre aucun driver Linux, bravo aux développeurs linux d'en avoir écrit un eux-même.

LaMaisonQuiRendFou a écrit:@AndréC
En parlant d'Archlinux, c'est peut-être même une meilleure solution pour vous que Debian.

Pourquoi ? Quels avantages ?

AndréC a écrit:

ycombe a écrit:
Les grands fondeurs salarient directement des développeurs pour que leurs processeurs soient complètement supportés par Linux et en général les patch sont envoyés avant même la disponibilité des puces. La plupart des serveurs tournent sous linux, il est vital pour eux d'être bien supportés pour ne pas se retrouver évincés de ce marché emblématique.

C'est le meilleur argument, à mon avis en faveur de Linux : c'est le choix des professionnels, c'est solide, c'est fiable.

ycombe a écrit:
Donc, tes i7 sont supportés par les derniers noyaux. La seule question est la disponibilité de ces noyaux sous debian, un petite recherche indique que c'est bon sous stretch (la dernière):
https://lists.debian.org/debian-user/2017/04/msg00634.html

Pour ce qui est de la 4k, elle est supportée. Trop bien. Ce qui fait que certaines applications vont apparaître trop petites à l'écran. Mieux vaut utiliser des applications dont les librairies graphiques gèrent ce problème. C'est le cas de Qt, donc de Texmaker. C'est aussi le cas de Gtk.  On peut se référer à la doc d'ArchLinux qui est, en règle générale, très complète, sur cette question:
https://wiki.archlinux.org/index.php/HiDPI

Alors qu'installer ? Debian ? Archilinux ? Mint ? Gentoo ? Ubuntu ?

Linux Mint si vous ne voulez pas vous casser la tête. C'est toujours la distribution que je recommande à des non spécialistes pour se lancer. J'ai toujours la même réaction ensuite : "Ah mais Linux c'est simple en fait".

Debian pour aller vers une "distribution mère" (pour rappel Linux Mint est basée sur Ubuntu et Ubuntu sur Debian) très stable et robuste (je ne dis pas que Linux Mint ne l'est pas, mais Debian c'est vraiment un cran au-dessus). Ce n'est pas pour rien que Debian est largement utilisé sur les serveurs.
= Quand j'écris "Debian" je fais référence à la version "stable", car il y a toujours 3 versions proposées par Debian, en l'occurrence "Debian 9 Stretch".

Archlinux, je n'ai jamais testé mais c'est la distribution de "geek" par excellence. D'après ce que j'ai compris tout est modulable, c'est à vous de construire votre système d'exploitation, mais je ne me suis jamais lancé là-dedans, je laisse les collègues "matheux" commenter...

Pour tester, vous pouvez graver un live DVD (ou faire une clé USB de boot). C'est très bien expliqué sur les différents sites :
https://linuxmint.com/download.php
https://www.debian.org/distrib/

LaMaisonQuiRendFou a écrit:

AndréC a écrit:
Alors qu'installer ? Debian ? Archilinux ? Mint ? Gentoo ? Ubuntu ?

Linux Mint si vous ne voulez pas vous casser la tête. C'est toujours la distribution que je recommande à des non spécialistes pour se lancer. J'ai toujours la même réaction ensuite : "Ah mais Linux c'est simple en fait".

Debian pour aller vers une "distribution mère" (pour rappel Linux Mint est basée sur Ubuntu et Ubuntu sur Debian) très stable et robuste (je ne dis pas que Linux Mint ne l'est pas, mais Debian c'est vraiment un cran au-dessus). Ce n'est pas pour rien que Debian est largement utilisé sur les serveurs.
= Quand j'écris "Debian" je fais référence à la version "stable", car il y a toujours 3 versions proposées par Debian, en l'occurrence "Debian 9 Stretch".

Archlinux, je n'ai jamais testé mais c'est la distribution de "geek" par excellence. D'après ce que j'ai compris tout est modulable, c'est à vous de construire votre système d'exploitation, mais je ne me suis jamais lancé là-dedans, je laisse les collègues "matheux" commenter...

Pour tester, vous pouvez graver un live DVD (ou faire une clé USB de boot). C'est très bien expliqué sur les différents sites :
https://linuxmint.com/download.php
https://www.debian.org/distrib/

Ouais, construire son propre système d'exploitation, je reste dubitatif. C'est intéressant comme cas d'étude, pour des étudiants en informatique fondamentale, pour faire du LaTeX, cela n'a pas grand intérêt.

Si Debian est installée principalement sur les serveurs c'est certainement qu'elle est aussi austère que UNIX : des lignes de commandes partout et peu d'interfaces graphiques.

A migrer sur Linux, autant commencer par le plus simple, donc Mint. Il est toujours possible de compliquer par la suite.

Archlinux est très bien. Gentoo aussi, même si c'est vrai que je ne conseillerais aucune des deux à quelqu'un qui n'a pas envie de passer trop de temps dans les entrailles de la bête.

Je ne vois pas l'intérêt d'utiliser des distributions Debian-based plutôt que directement Debian (qui est aussi bien interfacée que n'importe quoi au monde), sauf si l'on veut utiliser du matos tout dernier cri (apparemment c'est un peu le cas ici).

PauvreYorick a écrit:Archlinux est très bien. Gentoo aussi, même si c'est vrai que je ne conseillerais aucune des deux à quelqu'un qui n'a pas envie de passer trop de temps dans les entrailles de la bête.

Je ne vois pas l'intérêt d'utiliser des distributions Debian-based plutôt que directement Debian (qui est aussi bien interfacée que n'importe quoi au monde), sauf si l'on veut utiliser du matos tout dernier cri (apparemment c'est un peu le cas ici).

Pour le tout dernier cri, il y a "Debian Sid" !

Linux Mint intègre des pilotes et des codecs propriétaires. Pour toi ce sont probablement des broutilles mais quand on débarque dans le monde Linux, que l'on a aucune connaissance et que l'on veut que ça marche tout de suite, c'est important.

Je trouve ce projet Linux Mint très intelligent. Evidemment un libriste pur pourra y trouver à redire, mais Linux Mint fait mieux qu'Ubuntu au niveau de l'orientation grand public. Linux Mint est basé sur les versions LTS d'Ubuntu, ce qui pour moi est bien mieux (plus stable).

Globalement, je trouve Linux Mint plus simple que Windows pour quelqu'un qui ne s'intéresse pas à l'informatique. Rien que les mises à jour... C'est presque un plaisir sous Linux ; et un bordel pas possible sous Windows ! La présence de logiciels de qualité dès l'installation du système, c'est aussi un plus pour Linux.