태 a écrit 1743 commentaires

> je vais te trouver un garagiste qui va te dire que c'est vraiment pas normal qu'on ne puisse pas régler soi-même l'injection

Oui, enfin, fleny ne dit pas que tu dois savoir compiler ton noyau tout seul, juste que tu dois être capable de passer les vitesses, faire un créneau ou un démarrage en côte et qu'en théorie tu devrais aussi pouvoir changer les ampoules et vérifier le niveau d'huile, mais bon ça tu peux le confier à un copain geek, un papa ou au pire un professionnel de la profession.

Personnellement, je trouve ça très bien que des gens réfléchissent à comment faire pour que l'utilisateur débutant s'en sorte dès la première minute. Mais il ne faut pas faire croire que tout peut se faire sans réfléchir ou sans apprendre. Et il ne faut pas supprimer ce qui marche sous prétexte que c'est trop compliqué. Certains utilisateurs utiliseront éternellement les menus pour copier/coller, d'autres apprendront les raccourcis, d'autres programmeront une moulinette en awk pour générer automatiquement le rapport, et il y en a même qui ne savent pas qu'on peut faire des copier/coller. Ce n'est pas pour ça qu'il faut ne mettre l'option que dans le mode fast-user...

Bref, je suis d'accord avec toi, parce qu'on a toujours des logiciels à découvrir et qu'il faut pouvoir les utiliser sans perdre de temps quitte à par la suite perdre un peu de temps pour aller plus vite.

Tu peux acheter l'OS commercial que tu veux, le logiciel que tu dois installer n'existe pas encore, donc attends qu'il existe avant de crier qu'on t'oblige à acheter un système d'exploitation. Peut-être que seul netBSD permettra de faire tourner le mouchard en question. En tout cas, si on veut empêcher les grille-pains de faire de la contrefaçon d'œuvres culturelles, c'est la meilleure option.

gnome-do ou gnome-launch-box ou quicksilver permettent de fonctionner sans lancer d'application : tu écris une adresse web et il l'ouvre dans un navigateur, tu écris que tu veux un nouveau document .txt et il te lance ton éditeur de texte préféré, etc. J'imagine que gnome-shell ou gnome-zeitgeist permettent aussi ce genre de choses. Pour ce qui est des différentes sessions, le concept des tags simule ça très bien.

Comme le sous-entend le titre, c'est bash qui a un comportement par défaut idiot. Le bon shell ne t'assomera pas de bips anxiogènes.

Et je ne les ai toujours pas lus...

Ben quoi, une phrase correcte grammaticalement, compréhensible et fausse, c'est quand même mieux qu'un assemblage de mots qu'il est simplement impossible de dénier logiquement. Ses paroles ne sont même pas des sophismes, c'est une logorrhée qui noie l'éventuel contradicteur.

Cela dit, "citation textuel pour l'avoir entendu" c'est pas mal comme phrase sans queue ni tête.

> Comment peut-on planter un couteau dans le dos de mlocate? vu que je ne me sers pas de cette chose (utile s'il ne pouvait analyser QUE certains dossiers)

Il peut. Enfin, j'ai le updatedb de locate et non mlocate, et j'ai édité /etc/cron.daily/locate en ajoutant au PRUNEPATH les dossiers que je ne veux pas voir scannés.

Si tu veux le désactiver, il doit suffire de supprimer le fichier en question. Mais il risque d'être réinstallé après update (alors que modifier le PRUNEPATH résiste à la mise à jour).

> Sauf que ta spec ne dira pas ça. Il dira factoriel selon l'algo bidule précis à 10^-14 en code double flottant.
> La "preuve" sera l'équivalence à x^-14 prêt entre l'équation mathématique de la spec et ton code (souvent des développements limité).

Tu sais que factorielle est une fonction à valeurs entières ? Il n'y a même pas d'erreur sur les entiers... Alors faire des développements limités pour prouver sa validité...

> Mais pour le cas de factoriel, le test tel que définit par la DO-178B demande de couvrir les classes d'équivalences, ce qui va se réduire à tester un nombre négatif, zéro, un nombre positif, voir les nombres max et min du range spécifié, et le range+1 pour voir que cela ne plante pas. 7 tests en tout pour vérifier l'équivalence à 10^-14 prêt et pour avoir la certif de ton avion.

Si ton programme ne répond pas en 3 jours pour MAX_INT, tu en déduis qu'il ne calcule pas factorielle ? Parce que, seulement 7 tests, pourquoi pas, mais si tu ne prouves pas que chaque test termine, ça ne rend pas le problème suffisamment trivial pour être décidable.

> 50% sur la tranche supérieure d'imposition.
Donc le taux de prélèvement sur le total des ses revenus est beaucoup plus faible.

Non non, la tranche supérieure est seulement à 40%. C'est le bouclier fiscal qui est à 50% et qui empêche de payer plus de 50% de son revenu en impôts (sur le revenu + sur la fortune + csf + rds + taxes foncières + taxe d'habitation). Et ceux qui bénéficient du dit bouclier payent donc exactement 50% de leur revenu en impôts.

Ben l'accès à l'électricité et au téléphone, edf (ou une autre société privée) a le droit de te le couper. L'accès garanti à l'éducation et l'accès garanti à internet ne peuvent pas être coupés, j'en conclus qu'il y aura une offre gratuite.

Parce que comme pour l'éducation, comme pour les soins médicaux, garantir l'accès à internet à tout le monde implique que ceux qui n'en ont pas les moyens n'aient pas à payer pour profiter de cet accès garanti.

J'ai du mal à comprendre pourquoi tu pourrais vouloir ne pas y être ? Tu peux expliquer ? Ton groupe est décrit sur une page web que tu n'as pas à mettre à jour, les gens qui écoutent des groupes similaires peuvent découvrir que ton groupe existe. Quelqu'un dans l'affaire se met quelques sous dans la poche en mariant des nouveaux auditeurs à ton groupe, tant mieux, non ? À part si tu mets ta musique sous licence *-nc, je ne comprends le dilemme. Tu interdis à tes auditeurs de parler de toi sur wikipedia ? Tu refuses d'apparaître sur tout site propulsé par des moteurs non libres ?

«garantir l'accès de tous les citoyens à Internet équivaut à garantir l'accès de tous les citoyens à l'éducation»

Ça veut dire que l'accès à internet va devenir gratuit et obligatoire partout en Europe ? Des bornes wifi ouvertes dans toutes les mairies ? Des ordinateurs connectés en nombre suffisant dans tous les bureaux de poste et points service ? Le futur va faire mal à la tête aux administrations à la recherche de budget et aux FAI à la recherche de clients.

Seule la radio de last.fm devient payante. Pour moi qui ne l'utilisais quasiment pas, cela ne change pas grand chose : je vais désinstaller shell-fm et c'est tout. Pour la musique, je n'utilise pas wikipedia, les infos que wikipedia peut donner sur la musique que j'écoute ne m'intéressent pas, pour découvrir des trucs, je vais sur allmusic qui est nettement meilleur sur les groupes obscurs étrangers (pour les groupes obscurs français, last.fm est bien meilleur que wikipedia et allmusic réunis).

> j'adore qu'il me donne une descriptions rapide de toutes les options par simple tab. Bash/Zsh ont peut-être une complétion plus intelligente, elle n'en reste pas moins moins utilisable (pour moi) car pas de description.

Si si, zsh donne des descriptions des options. Quand je fais rubber -<tab>, j'ai droit à des lignes comme
--clean -- remove produced files instead of compiling
--command -c -- run the directive CMD before parsing

L'option longue, l'option courte équivalente si elle existe, ce qu'elle fait.

awesome aussi fait ça : les deux écrans peuvent avoir un nombre différent de "bureaux virtuels" donc bien heureusement, les deux écrans fonctionnent indépendamment.

zsh-iste convaincu, je viens d'essayer fish, et c'est vrai qu'il n'est pas désagréable comme shell à écrire des commandes simples. Cependant, en trois minutes, je lui trouve quelques défauts, :

Il est lent ('echo **/*.tex' dans mon home prend 8 secondes avec fish alors que c'est instantané dans zsh). De même, for est d'une lenteur exaspérante !

Sa complétion des commandes avec wildcards ne sert à rien (il trouve les commandes qui matchent mais il ne fait pas le remplacement et me dit par exemple "fish: Illegal command name “m*tt”")

Il a des complétions pour quelques commandes mais pas autant que zsh ou bash et celles que j'ai essayées sont moins intelligente : celle de mplayer par exemple comprend moins d'options que celle de zsh, celle d'apt-get est moins intelligente (il me propose tous les paquets quand je veux supprimer, zsh ne me propose que ceux qui sont installés). Si tu trouves la complétion de fish impressionnante, réessaye celle de zsh ou celle de bash, elles sont encore meilleures.

Il se scripte de façon non standard (c'est peut-être un avantage en fait, la syntaxe posix des scripts shell n'est pas d'une logique formidable, mais c'est déstabilisant).

Il n'a pas de page de man (enfin c'est juste une caricature, elle a moins de 20 lignes) et je n'apprécie pas qu'il ouvre un navigateur pour m'afficher la doc pour for.

Il lui manque des built-ins indispensables (time, which, where).

Il ne sait pas corriger les noms de commandes ou d'arguments mal orthographiés !

Je viens de voir le changelog de bash 4.0 et j'y ai trouvé trois nouveautés importantes :
w. There is a new shell option: `globstar'. When enabled, the globbing code
treats `**' specially -- it matches all directories (and files within
them, when appropriate) recursively.

Enfin, le truc indispensable qui me fait maudire tous les shells autres que zsh !

ii. The shell provides associative array variables, with the appropriate
support to create, delete, assign values to, and expand them.

Je ne savais même pas qu'il n'y en avait pas dans bash ! C'est tellement utile dès qu'on fait des scripts un tout petit peu évolué !

r. There is now limited support for completing command name words containing
globbing characters.

Encore heureux ! Ce n'est pas indispensable mais quand même super pratique.

Donc ma question, manque-t-il encore des choses à bash pour qu'il soit prêt pour le desktop ?

> Le point clé de Genius est la collecte d'informations à l'échelle mondiale pour mieux te cibler et te proposer de la musique. La collecte [...] massive est assez mal perçue dans le libre.

C'est pourtant ce que fait last.fm qui est libre. C'est pourtant ce que fait popularity-contest chez debian qui est libre. Et ils ont du succès (d'après popularity contest, popularity-contest est présent chez tous les sondés !).

Et le concept des "playlists intelligentes" est ce qu'on retient de genius (c'est en tout cas ce que j'ai retenu de l'explication), concept qui est transposable en libre sans problème : amarok le fait, listen le fait d'après les commentaires précédents. J'ai découvert que banshee a un plugin spécialisé pour ça (mirage) qui fonctionne sans besoin de réseau extérieur. Et sinon, pandora n'utilise pas non plus de collecte pour faire ses recommandations.

un truc du genre

while true; do
display image &
pid=$!
sleep 5
kill $pid
done

Si c'est juste $RANDOM qui manquait, il est possible de rajouter une ligne du genre
RANDOM=$(dd if=/dev/urandom count=1 2> /dev/null | cksum | cut -f1 -d" ") dans le script et ça marchera sur tous les systèmes ayant un /dev/urandom (c'est peut-être moins fréquent que bash cependant).

Le package pgfpages sait faire ce genre de choses : tu fais ton document en a5 paper et tu ajoutes dans l'entête

\usepackage{pgfpages}
\pgfpagesuselayout{2 on 1}[a4paper,landscape]

Et voilà.

> pourquoi ils l'ont changé ?
>> dash (un shell avec juste le strict nécessaire à la norme, plus rapide)

> Comment on fait pour revenir a l'environnement normal tel que la plupart des distros la connaissent et tel que sous ubuntu 7.10 ?

Probablement en faisant un update-alternatives. Genre 'sudo update-alternatives --config sh'.
Mais de toute façon, si tu tiens à utiliser bash, lance ton script en faisant 'bash faustus.sh'. Si par contre tu veux utiliser sh, n'utilise pas de constructions qui ne sont pas dans la norme.

w3m installe un script cgi /usr/lib/w3m/cgi-bin/w3mman2html.cgi qui permet de lire les pages man sous forme html par w3m (avec l'alias w3mman, ça se fait automatiquement) et transforme les références à des fichiers, des pages web ou d'autres pages man en liens. Il doit être possible de l'adapter un poil pour que ça marche depuis n'importe quel navigateur.

Ça perd tout l'intérêt. Vu que les collectes d'IP sont faites par les majors et que les poursuites sont instiguées par elles, elles sont capables de supprimer tout ce qui est dans une liste blanche (typiquement les entreprises, les institutions publiques) avant de demander réparation.