Marotte ⛧ a écrit 8736 commentaires

Je comprends pas bien, en quoi définir N comme naturel supérieur ou égal à 1 restreint N a être un nombre fini ?

Il me semble que pour tout n donné dans l'ensemble des entiers naturels il existe un entier naturel m tel que m > n, n'est-ce pas là la définition de l'infini ?

A peine de nullité, il ne peut y avoir de pacte civil de solidarité :
1° Entre ascendant et descendant en ligne directe, entre alliés en ligne directe et entre collatéraux jusqu'au troisième degré inclus;
[…]

Alors là ça me fait repenser direct au devinettes du genre : Je suis la tante du frère du cousin germain de ton oncle, qui suis-je ?

Suis-je le seule à avoir du mal avec la passage en gras ?

Je ne connais vraiment pas assez l'init BSD pour juger mais si tu me dis qu'elle permet "un contrôle des services elaboré, transactionnel, basé sur des dépendances" c'est chouette. Ça veut dire que ça va rester dans FreeBSD et par delà dans Debian s'ils laissent pas tomber GNU/kfreeBSD.

recherches un peu aléatoire sur google, de tests pour savoir ce qui est encore d'actualité

Dans google dans le menu à gauche (désolé mon google est en anglais, mais je pense que tu trouveras) :

Show search tools > Past year

Ça aide parfois.

Je crois avoir saisi au moins une partie du problème…

Si je veux écrire un daemon qui soit lançable par systemd je devrais faire dépendre mon daemon de D-Bus et/ou d'autres bibliothèques (ou écrire un wrapper) ? Alors qu'avec les init SysV et BSD on est plus libre vu qu'on utilise le shell, on peut donc lancer n'importe quel programme ?

une install party entre fille est discriminatoire (mais comme ce sont des filles, on trouve ça sympa elles ont raison de discriminer

Mais Zenitram… Ça n'existe pas les install-party réservées aux filles. Elle ne voulait pas que tu viennes c'est tout ;)

Utiliser Debian
Utiliser FreeBSD
Forker (participer à un fork d') Archlinux

Il reste un choix mais tu as raison. Combien de temps avant que FreeBSD implémente les cgroups et fanotify et intègre systemd ?

D'un autre coté il faut reconnaître que systemd apporte des fonctionnalités :

keeps track of processes using Linux control groups

J'utilise pas mais j'imagine que les cgroups c'est important pour la sécurité de certains environnements.

supports snapshotting and restoring of the system state,

Je pense que ça peut être utile dans certains cas. Plus de 1% des gros systèmes de prod à mon avis.

maintains mount and automount points

Ça on avait déjà mais je suppose que c'est lié à :

and implements an elaborate transactional dependency-based service control logic.

Avec l'init SysV j'ai eu parfois des comportements bizarres en modifiant l'ordre des liens pour obtenir le comportement voulu (dernier exemple en date : démarrer postgressql, attendre qu'il soit prêt pour lancer snort) et bien même en les "éloignant" bien, en mettant postgres avant, il arrive que snort se gauffre sur : pas de base de données dispo et il faut le lancer à la main.

J'ai l'impression que l'ordre des liens dans les /etc/rcX.d n'ordonne que le lancement des scripts, vu qu'il en lance plusieurs à la fois il se peut (si mettons le 12 est très long) que le service du script 99 est démarré avant celui du 12 ? Il y a peut-être quelque chose que j'ignore sur le système d'init que j'utilise actuellement mais j'ai quand même l'impression que systemd essaye de répondre à un vrai problème de l'init SysV…

Perso je dirais debian/ubuntu/linux minut (le seul gros avantage d'ubuntu et mint est, selon moi, la logithèque).

Tu n'es pas sérieux ?

Ubuntu étant basée sur Debian. Linux Mint sur Debian et Ubuntu, j'ai du mal à voir pourquoi tu prétends que ce n'est pas Debian qui a la plus grosse (logithèque).

Parles-tu d'applications propriétaires qui ne seraient certifiées que sur Ubuntu ou Mint ?

Parles-tu des deux ou trois gadgets genre jockey ?

Dans les grandes lignes tu as raison, sauf que ce dont tu parles est un problème d'héritage et pas de fiscalité.

En effet j'avais d'abord écrit …quant à la fiscalité de/sur l'héritage… puis je n'ai laissé que héritage.

Mais l'héritage c'est de la fiscalité non ? En tous cas ça fait appelle à la fiscalité !

Toi tu vas me faire le plaisir de te sortir les doigts du cul ! :)

stef@wallix:~$ aptitude show tree
Paquet : tree
État: non installé
Version : 1.5.3-1
Priorité : optionnel
Section : universe/utils
Responsable : Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Taille décompressée : 98,3k
Dépend: libc6 (>= 2.4)
Description : affiche une arborescence de répertoire en couleur
 Affiche une arborescence indentée de répertoire, utilisant les mêmes couleurs
 que celles de ls, par la variable d'environnement LS_COLORS.
Site : http://mama.indstate.edu/users/ice/tree/

Bon c'est Ubuntu là mais je suppose que le package existe aussi sous Debian.

Par conte, le mariage, cela a quelque chose de sacré. […] Même dans les mariages civils, les cérémonies ressemblent à ce que l'on faisait religieusement à l'époque. On devrait préserver ce caractère sacré (religieux ou spirituel).

Je ne suis pas d'accord, le mariage civil n'a qu'un coté solanel, clairement pas religieux ou spirituel. On peut expédier ça nettement plus vite (pour aller festoyer) qu'à l'église…

Pourquoi ne pas réformer le PACS pour que les personnes pacsées puissent bénéficier des mêmes avantages que les personnes pariées (impôts, formulaires administratifs notamment) ?

D'accord mais en plus de l'administratif et du fiscal il faut également ouvrir le droit à l'adoption. Et si on a au final exactement les mêmes droits et devoirs entre mariage (civil) et PACS je ne vois pas l'intérêt de conserver le PACS.

L'obligation d'hétérosexualité du mariage concerne le mariage chrétien, le mariage civil n'a comme "dogme" à suivre que l'égalité de traitements entre des citoyens(ennes) de la République, pas les dogmes d'une tradition multi-millénaire. Les mentalités ont changé depuis Napoléon, la république n'a absolument aucune raison de ne pas évoluer, c'est même au contraire tout son rôle.

Si on accepte le mariage homosexuel, pourquoi ne pas accepter la polygamie ?

Je suis a priori pour, mais la question ne se pose pas. On peut autoriser l'un tout en continuant à interdire l'autre, on peut n'autoriser l'autre que plus tard ou ne jamais l'autoriser. Cela dépendra de l'évolution des mœurs de notre société. Dans d'autres sociétés la polygamie n'a rien d'extrême et est la norme mais l'homosexualité est condamnée… Ici en France, entends-tu beaucoup de citoyens réclamer la polygamie ? Le mariage gay est l'adoption par contre oui.

il y a aucun avantage au niveau fiscal au mariage par rapport au pacs.

Il y a si je ne m'abuse des différences quant à l'héritage. Si j'ai bien compris ce que m'a expliqué un banquier c'est que dans le cas de l'achat d'un bien immobilier entre deux personnes, la situation n'est pas la même selon que l'on soit en union libre, PACSé ou marié. Et dans chaqu'une de ces trois situations il y a encore des choix qui peuvent être fait. Ce dont je me souviens c'est que si le couple a un enfant et que l'un des deux meurt, dans le cas d'une union libre ou d'un PACs c'est l'enfant qui hérite ET qui a la priorité pour occuper le logement (doit il vient d'hériter en partie) si le couple était marié on ne peut pas déloger le conjoint restant. Grosso modo on peut faire hériter son conjoint marié mais pas son partenaire non marié.

Il se peut que je sois totalement à coté de la plaque (je me méfie des banquier !)

la fidélité sexuelle n'est plus une obligation,

Ah bon ? Donc le divorce pour adultère n'existe plus ?

Tu es le premier à m'en informer.

Côté utilisateur pur, il est clair que cette méthode est bien moins agréable qu'un simple :

tree

Elle est aussi moins rapide je suppose.

La consanguinité ça te parle ?

Moi aussi perso c'est Debian stable mais j'utilise aussi Ubuntu 10.04 (attention il y a plus récent, celle-ci ne sera plus supportée par Canonical en avril 2013)

Ubuntu est selon moi plus adapté aux débutants, je pense notamment à l'installation des pilotes non-libres, il y a une belle interface graphique pour ça, c'est pas non plus très compliqué sous Debian mais il faut savoir quels packages installer, faut lire un peu de doc quoi…

Les distributions citées par Adrien< différent principalement au niveau du format des packages (paquetages en français…). Pour Debian et Ubuntu c'est le format "deb", pour Fedora et Mageia c'est "rpm", pour Suse un autre dont j'ai pas le nom en tête. Je ne sais dire si l'un est meilleur que l'autre, j'ai pas utilisé rpm depuis un moment.

Je te déconseille Gentoo, Archlinux et Slackware qui bien qu'étant de très bonnes distributions sont plus orientées "mains dans le cambouis" donc plus à destination des utilisateurs "avancés".

Il y a ce site qui liste les différents détails des distributions GNU/Linux (et BSD).

Voilà tu n'as plus que l'embarra du choix ! (on me souffle dans l'oreillette que c'est ton problème initial…)

Bien sûr que les dépôts c'est bien mais faut pas pousser, entre l'installation de quelques programmes tiers bien identifiés, téléchargés sur les sites officiels et installer tout et n'importe quoi depuis telecharger.com il y a un monde.

Et c'est là qu'on ne sait plus si on doit rire ou pleurer…

Je n'ai aucune idée des proportions des remarques, blagues et accostages qu'elle subit.

Si c'est au point d'être du harcèlement alors oui elle a intérêt à parler et surtout pas à tout porter sur ses épaules en se taisant.

Si elle a un pet de travers parce qu'un collègue lui fait remarquer qu'il aime bien sa nouvelle coiffure et qu'elle considère ça comme une remarque machiste je considère en effet que c'est une intégriste féministe.

ton commentaire a la grande classe

C'est beaucoup de travail. Merci.

si on te traite de manière indigne quelque part, tu n'as qu'à passer ton chemin et aller voir ailleurs. Tu veux pas lui proposer de porter la burqa si on la siffle dans la rue, non plus?

Moi quand j'entends siffler dans la rue je ne me retourne pas, je ne suis pas un chien. Mais je ne vais pas penser du siffleur que c'est un gros con mal-poli qu'on devrait faire fouetter sur la place publique, je me dis juste qu'il n'a pas reçu la même éducation que moi, point barre.

Si se faire siffler dans la rue c'est être traité de manière indigne alors là effectivement… Mais soyons sérieux.

Si dans ton quartier à chaque fois que tu passes t'as un groupe de mecs qui te donne du "viens sucer ma bite grosse salope !" là oui c'est indigne, c'est de l'incivilité, mais je persiste à dire que ce sont ces mecs qui ont un problème (certainement dû à de la frustration) pas les hommes en général.

Comme? Et si c'était au travail, ou dans la rue, par exemple? Dois-je me retirer en un lieu sûr? Mais où? Si les remarques, blagues, accostages ont lieu un peu partout, un peu tout le temps, n'est-ce pas un signe de sexisme latent et généralisé?

Si c'est au travail parle-en à tes supérieurs (si tu as déjà parlé avec le blagueur relou pour lui demander d'arrêter et qu'il s'en fout…)

Dans la rue comment te dire… Tu parles de remarque de blagues et d'accostages. Les remarques/accostages c'est plus du genre "Vous êtes jolie mademoiselle, compliments à la maman !" ou "Ohé va te cacher gros thon, tu t'es échappé de ton filet ou quoi ?!" dans le premier cas je serais plutôt flatté à ta place. Les blagues : on t'arrête dans la rue pour te raconter des blagues ? Je suppose qu'il s'agit de tes connaissances, dis-leur qu'ils sont lourds et qu'ils te feraient plaisir à arrêter leur humour machiste.

Je sais c'est facile de donner des conseils et en tant que mec je ne saisi peut-être pas l'ampleur du phénomène. J'espère que tu ne me considères pas hautain et prétentieux.

PS : merci pour la correction sur latent, lattant ça n'a rien à voir :)

Anéfé.

D'un autre coté faut dire qu'avec l'intitulé de son poste elle part pas sur de bonnes bases.

ministre déléguée chargée des PME, de l'Innovation et de l'Économie numérique

Faudra que l'on m'explique le rapport entre les trois…

PME & Innovation : oui on innove dans les PME, mais que dans les PME ?

Innovation & Économie numérique : oui on innove dans l'économie numérique, mais on fait que ça ? Remarque sa redéfinition de la neutralité du net est assez innovante… C'est triste de voir que dans l'esprit de nos gouvernants "l'internet c'est innovant, c'est le futur", non non c'est le présent et déjà le passé aussi.

PME & Économie numérique : c'est bien connu l'économie numérique ça concerne les PME comme Google, Oracle ou Microsoft…

Bref, l'économie numérique les gouvernements s'en contre-foutent alors qu'il faudrait clairement y consacrer un ministère et pas juste ajouter le terme économie numérique à un autre ministère juste pour dire "Oui oui c'est important pour nous". À partir de là on est mal barré.

imagine que (heureusement pas tout le temps) ce soit chaque jour.

Euh… Chaque jour, mais pas tout le temps ?

l'accumulation de choses, à première vue insignifiante, finit par être très pesante. Merci pour l'encouragement, mais je préfèrerais simplement être tranquille.

Si tu es la cible de blagues sexistes de manière quasi quotidienne je pense qu'au lieu de mettre ce comportement sur le compte d'un sexisme lattant et généralisé de la gente masculine, tu devrais commencer à te poser des questions sur ton entourage et prendre les mesures nécessaires.

Ton attitude n'est pas cohérente.

C'est ton point de vue.

Tu ne peux pas dire "accrochez-vous" et continuer de cautionner des blagues vaseuses

Je peux et je le fais.

Faut arrêter de tout confondre. On peut être pour l'égalité des salaires, la parité en politique, que le papa change les couches et fasse les courses et se permettre de rigoler.

Savais-tu que les "blagues sur les blondes" n'étaient il y a une dizaine d'années que des "blagues sur les femmes" ?

Qu'est-ce que fait une femme devant un ordinateur quand on lui dit d'utiliser le correcteur orthographique ? Elle sort le Typex ! (Spéciale dédicace aux informaticiennes ;)

On a remplacé femme par blonde comme ça on a plus les brunes sur le dos…

Il y a des blagues sur les hommes aussi et elles me font rire tout autant, voir plus.

J'ai que celle là en stock (je me rappelle jamais les histoires drôles qu'on me raconte…) elle date de l'école primaire, il y en a des carrément plus (sexiste donc) drôle…

Pourquoi Dieu a créé l'homme avant la femme ? Il lui fallait un brouillon.

PS : Ah je m'en rappelle d'une rigolote :

Pourquoi les femmes ne sont pas douées pour faire un créneau ? Parce que les hommes ne cessent de leur mentir sur ce que représente une longueur de 30 centimètres…

Faut rigoler dans la vie. Se focaliser sur les blagues sexistes c'est masquer les vrais problèmes des femmes : violence conjugale, viol et pédophilie, excision, mariage forcé, etc…